isabelle.vim:NeoVim扩展名与coc-isabelle结合使用

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-缓冲区，使布局易于