如何在 Vscode 中配置 Isabelle 环境

更新：已上架 Vscode 插件市场，可以直接安装 Isabelle2025 插件使用。不过环境变量应该还是要配置过。

在 Isabelle 官网下载最新版本(2025 版) Isabelle 程序并安装。
在 https://github.com/ponder-j/Isabelle-Vscode 下载 .vsix 插件文件(求 Star !)
可以复制上面链接中 .vscode/isabelle.code-snippets 配置到你的 vscode 工作区或者全局 snippets
在 vscode 中按 Ctrl + , 打开设置，右上角 Open Settings(JSON), 导入以下配置：

    "isabelle.replacement": "none",
    "ISABELLE_OPTIONS": null,
    "editor.snippetSuggestions": "top",
    "files.associations": {
        "*.thy": "isabelle",
        "*.ML": "isabelle",
        "*.SML": "isabelle"
    },
    "[isabelle]": {
        "editor.fontFamily": "'Isabelle DejaVu Sans Mono', monospace",
    },
    "editor.unicodeHighlight.ambiguousCharacters": false,

配置环境变量，以下是 Windows 电脑的配置示例(安装目录 D:\Isabelle2025\Isabelle2025)：

ISABELLE_HOME D:\Isabelle2025\Isabelle2025
CYGWIN_ROOT D:\Isabelle2025\Isabelle2025\contrib\cygwin