Vim插件网

来自全球优秀的Vim插件集合及使用教程 ...

关键字

插件分类

语言相关
辅助补全
代码显示
代码集成
界面相关
命令相关
其他
用户提交

热门插件

fugitive.vim
surround.vim
The NERD tree
Syntastic
vim-gitgutter
vim-airline
The NERD Commenter
vim-colors-solarized
Tagbar
vim-airline-themes

标签 coq 下的插件

coqtail

Interactive Coq Proofs in Vim

Wolf Honore 语言相关 48 coq 评论

插件分页

© 2020 Vim插件网 - 优秀的Vim插件集合及使用教程. 由 Typecho 强力驱动.