Ⅰ. 插件描述
Coq mode for Neovim
Ⅱ. 基本信息
| 创建日期： 2014-11-25 |
| 使用用户： 2 |
| Github星： 7 |
| 插件作者： epdtry |
|
|
|
Ⅲ. 安装方法
使用Vundle管理器安装
在你的.vimrc下添加:
Plugin 'epdtry/neovim-coq'
… 然后在Vim中运行以下命令:
:source %
:PluginInstall
对于Vundle版本 < 0.10.2，请用上面的Bundle替换Plugin。
使用NeoBundle管理器安装
在你的.vimrc下添加:
NeoBundle 'epdtry/neovim-coq'
… 然后在Vim中运行以下命令:
:source %
:NeoBundleInstall
使用VimPlug管理器安装
在你的.vimrc下添加:
Plug 'epdtry/neovim-coq'
… 然后在Vim中运行以下命令:
:source %
:PlugInstall
使用Pathogen管理器安装
在终端中运行以下命令:
cd ~/.vim/bundle
git clone https://github.com/epdtry/neovim-coq
Ⅳ. 文档说明