---

Ⅰ. 插件描述

Emulate Coq IDE in VIM

Ⅱ. 基本信息

创建日期：  2013-01-06 使用用户：  6 Github星：  11 插件作者：  Matthieu Carlier

Ⅲ. 安装方法

使用Vundle管理器安装

在你的.vimrc下添加:

Plugin '/coqide'

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

:source %
:PluginInstall

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

使用NeoBundle管理器安装

在你的.vimrc下添加:

NeoBundle '/coqide'

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

:source %
:NeoBundleInstall

使用VimPlug管理器安装

在你的.vimrc下添加:

Plug '/coqide'

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

:source %
:PlugInstall

使用Pathogen管理器安装

在终端中运行以下命令:

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

Ⅳ. 文档说明

You can use this script to make vim behaves like CoqIDE.

This script needs +perl vim option.

Should work well on non-gui version of vim on unix systems.

See comments at beginning of coq_IDE.vim for more informations.