新的介绍内容：

CafeOBJ语言的Visual Studio Code扩展，为您提供专业的编程支持。该扩展由Ogata实验室成员开发和维护，基于mkhl的maude.tmbundle，旨在提升您的CafeOBJ编程体验。

主要功能：

• 语法高亮： 支持CafeOBJ语言的多种声明，包括模块（module）、导入模块（import module）、排序（sort）、操作（operation）、方程（equation）、视图（view）和证明分数（proof scores）。让您的代码一目了然，编写更加高效。

• 代码片段： 包含多个代码片段，帮助您快速编写常用代码结构，减少重复劳动，提高开发效率。

已知问题：

请查看已知问题列表。我们欢迎您报告任何发现的错误，以便我们不断改进扩展功能。

发布说明：

• 版本1.0.4： 最新更新，优化用户体验，修复已知问题。

通过使用这个Visual Studio Code扩展，您可以更轻松地编写和维护CafeOBJ代码，提升您的开发效率和代码质量。