---

Ⅰ. 插件描述

Verifast syntax highlighting for vim

Ⅱ. 基本信息

创建日期：  2019-01-10 使用用户：  2 Github星：  0 插件作者：  VisualizeTheWorld

Ⅲ. 安装方法

使用Vundle管理器安装

在你的.vimrc下添加:

Plugin 'visualizetheworld/vim-verifast'

… 然后在Vim中运行以下命令:

:source %
:PluginInstall

对于Vundle版本 < 0.10.2，请用上面的Bundle替换Plugin。

使用NeoBundle管理器安装

在你的.vimrc下添加:

NeoBundle 'visualizetheworld/vim-verifast'

… 然后在Vim中运行以下命令:

:source %
:NeoBundleInstall

使用VimPlug管理器安装

在你的.vimrc下添加:

Plug 'visualizetheworld/vim-verifast'

… 然后在Vim中运行以下命令:

:source %
:PlugInstall

使用Pathogen管理器安装

在终端中运行以下命令:

cd ~/.vim/bundle
git clone https://github.com/visualizetheworld/vim-verifast

Ⅳ. 文档说明

# vim-verifast

Syntax highlighting for the Verifast programming language.

Installation

Copy this package into your .vim directory, or use your vim plugin manager of choice.

Note that this package only detects .gh files as Verifast automatically- you don't necessarily want to apply Verifast syntax highlighting to every .c and .h file, after all. Just invoke :set filetype=verifast on your file of choice. (You can also add au BufRead,BufNewFile *.c set filetype=verifast to your .vimrc if you're bold.)