---

Ⅰ. 插件描述

syntax colouring for coq files

Ⅱ. 基本信息

创建日期：  2007-11-06 使用用户：  8 Github星：  4 插件作者：  Vincent Aravantinos

Ⅲ. 安装方法

使用Vundle管理器安装

在你的.vimrc下添加:

Plugin '/coq-syntax'

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

:source %
:PluginInstall

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

使用NeoBundle管理器安装

在你的.vimrc下添加:

NeoBundle '/coq-syntax'

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

:source %
:NeoBundleInstall

使用VimPlug管理器安装

在你的.vimrc下添加:

Plug '/coq-syntax'

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

:source %
:PlugInstall

使用Pathogen管理器安装

在终端中运行以下命令:

cd ~/.vim/bundle
git clone https://github.com/vim-scripts/coq-syntax

Ⅳ. 文档说明

All is in the title: syntax colouring for the coq proof assistant files (*.v).

Also check http://www.vim.org/scripts/script.php?script_id=2079 for indentation.

Some people asked me if I planned to do something to interact between vim and coq. I answered that yes and that I had started it. The plugin is usable but not “publishable" :) However I now have many other things to do and am not using Coq at that time. So if I publish such a thing some day it may be in quite a long time. Apologies.