新的介绍内容：

Twelf Extension Pack是一款专为Twelf语言开发者设计的强大扩展工具，旨在提升您的开发体验和工作效率。无论您是新手还是资深开发者，都能从中受益。

主要功能：

• 语法高亮：让您的代码更加易读，减少错误。
• 运行当前文件按钮：一键运行当前文件，节省时间。
• 加载/追加配置文件按钮：快速加载或追加配置文件，简化设置过程。
• 在终端中运行选定代码的快捷方式：使用快捷键Alt Enter，即可在终端中运行选定的代码。
• 执行后错误与“问题”标签页集成：执行代码后，错误信息会自动显示在“问题”标签页中，方便查看和修复。
• 编辑器内悬停功能：在编辑器中悬停，即可查看活动服务器上的声明，提高开发效率。
• 自定义.elf文件图标：让您的文件管理更加直观。

支持的文件扩展名： .elf, .quy。

命令：

• Twelf: 启动服务器
• Twelf: 运行当前文件（Ctrl Enter）
• Twelf: 运行选定代码（Alt Enter）
• Twelf: 读取声明（Ctrl C Ctrl D）
• 配置文件加载和追加
• 追踪命令

要求：

• 您的电脑上已安装Twelf，并且已将twelf/bin文件夹添加到路径中。

Twelf Extension Pack通过提供这些功能和命令，帮助您更高效地进行Twelf语言开发，提升您的生产力。