新的介绍内容：

Ampersand (ADL) 语言支持扩展为开发者提供了强大的工具，用于定义和开发基于Ampersand定义语言（ADL）的应用程序。ADL允许您通过概念、关系和关系代数不变规则来表达状态，并通过接口实现状态变化。本扩展通过处理ADL脚本，生成完整的Web应用程序，极大地方便了开发流程。

功能亮点：

• 语法着色语法： 支持ADL和原型日志文件的语法着色，增强代码可读性。
• 语法着色主题： 专门为ADL和原型日志文件设计的着色主题，优化视觉体验。
• 代码片段： 提供常用语言结构的代码片段，提升开发效率。
• 实时语法和类型检查： 在您编写代码的过程中进行实时检查，确保代码质量。

使用要求：

• 要使用ampersand命令，您需要确保路径中包含最新版本的ampersand可执行文件。
• 为了获得最佳的语法着色效果，请选择Ampersand着色主题作为.adl和.amplog文件的默认主题。传统的语法着色设计不适合Ampersand语言。

使用指南：

Ampersand检查器：

• 语法和类型检查是本扩展的一大亮点。您需要在工作区中操作，该工作区有一个根目录。在根目录中创建一个名为.ampersand的文件，该文件应包含指向根ampersand文件的相对路径。
• 扩展激活后，检查器应自动加载。如果未自动加载，可通过命令"Ampersand: Start checker"手动启动。检查器将读取.ampersand文件的内容，并检查该文件及其包含的所有文件。每当您保存文件时，错误或警告会立即显示出来。结合自动保存功能，这有助于您在编写代码时及时发现错误。

语法着色：

• 为了获得最佳的语法着色效果，请选择Ampersand主题（文件 > 首选项 > 颜色主题 > Ampersand）。

已知问题：

• 当前功能仍在测试中，可能存在一些bugs。如果您发现了错误，请创建一个问题报告。

致谢：

• Ampersand的语法和类型检查功能的实现受到了Neil Mitchell为ghcid扩展所做的出色工作的启发。我借鉴并修改了他的部分工作，感谢Neil的贡献！

发布说明：

• 发布说明可在此处查看。

祝您使用愉快！