isabelle.vim 支持插件。 它定义了coc-isabelle使用的动态语法突出显示组以及常规的Isabelle / Isar语法。 从技术上讲,该插件可以独立使用,但是仅提供静态语法突出显示和符号替换。 为了充分利用Isabelle / VSCode语言服务器(仅称为VSCode,它是通用语言服务器),必须使用coc-isabelle 。 安装 使用您最喜欢的vim软件包管理器进行安装: Plug 'ThreeFx/isabelle.vim' 配置 多变的 默认 描述 g:isabelle_output_height 10 Isabelle输出窗口的高度 g:isabelle_process_width 40 Isabelle处理窗口的高度 屏幕截图/功能 概述 完全类似于PIDE概述。 进度和输出窗口只是名为-PROGRESS-和-OUTPUT-缓冲区,使布局易于