---

Ⅰ. 插件描述

Interact with coqtop within Vim

Ⅱ. 基本信息

创建日期：  2011-05-13 使用用户：  3 Github星：  11 插件作者：  Kohei Suzuki

Ⅲ. 安装方法

使用Vundle管理器安装

在你的.vimrc下添加:

Plugin 'eagletmt/coqtop-vim'

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

:source %
:PluginInstall

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

使用NeoBundle管理器安装

在你的.vimrc下添加:

NeoBundle 'eagletmt/coqtop-vim'

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

:source %
:NeoBundleInstall

使用VimPlug管理器安装

在你的.vimrc下添加:

Plug 'eagletmt/coqtop-vim'

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

:source %
:PlugInstall

使用Pathogen管理器安装

在终端中运行以下命令:

cd ~/.vim/bundle
git clone https://github.com/eagletmt/coqtop-vim

Ⅳ. 文档说明

# coqtop-vim
Interact with coqtop within Vim.

install

• Install vimproc.

  • NOTE: Use latest vimproc, because vimproc 5.1 has a serious bug for coqtop-vim (fixed by this commit).
• Copy coqtop-vim to your 'runtimepath' directory (such as ~/.vim).

usage

:CoqStart to start coqtop.

To prevent default local mappings, do :let g:coqtop_no_default_mappings = 1.

:CoqGoto

Goto this line. You can go both forward and backward.

Mapped to <LocalLeader>g (in normal mode) and <C-g> (in insert mode) by default.

:CoqClear

Clear current session.

Mapped to <LocalLeader>c by default.

:CoqQuit

Quit coqtop-vim.

Mapped to <LocalLeader>q by default.

:CoqPrint

Same as Print vernacular command.

Mapped to <LocalLeader>p by default.

:CoqSearchAbout

Same as SearchAbout vernacular command.

Mapped to <LocalLeader>a by default.