---

Ⅰ. 插件描述

Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.

Ⅱ. 基本信息

创建日期：  2012-02-06 使用用户：  27 Github星：  16 插件作者：  Jeremy Voorhis

Ⅲ. 安装方法

使用Vundle管理器安装

在你的.vimrc下添加:

Plugin 'jvoorhis/coq-vim'

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

:source %
:PluginInstall

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

使用NeoBundle管理器安装

在你的.vimrc下添加:

NeoBundle 'jvoorhis/coq-vim'

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

:source %
:NeoBundleInstall

使用VimPlug管理器安装

在你的.vimrc下添加:

Plug 'jvoorhis/coq-vim'

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

:source %
:PlugInstall

使用Pathogen管理器安装

在终端中运行以下命令:

cd ~/.vim/bundle
git clone https://github.com/jvoorhis/coq.vim

Ⅳ. 文档说明

coq.vim

About Coq

Coq is a proof assistant. According to the Coq homepage it "provides a
formal language to write mathematical definitions, executable algorithms and
theorems together with an environment for semi-interactive development of
machine-checked proofs."

Contents

This repo contains Vincent Aravantinos' coq syntax and coq indent
vim scripts plus filetype support in a pathogen compatible git repository.

Installation

This bundle is meant to be installed with pathogen. After following
pathogen's installation process, run the following commands and restart vim.

cd ~/.vim/bundle
git clone https://github.com/jvoorhis/coq.vim.git

License

The original sources were released under the public domain. coq.vim is
a convenient distribution of these scripts, provided by Jeremy Voorhis, and is
also provided under the public domain.