A simple Vim plugin for the Coq Proof Assistant
分类 用户提交 下的插件
gitignore.vim
Vim plugin that adds the entries in a .gitignore file to 'wildignore'.
scala.vim
Vim syntax and indentation files for Scala
selection.vim
vim-easymotion-segments
EasyMotion extension to move between camelCase and snake_case word segments.
vim-lilypond
LilyPond Vim plugin
vim-tomorrow-theme
Tomorrow themes for Vim
Son of Obisidian
Port of Visual Studio 2010 Son of obsidian color scheme
syslog syntax file
Adds syntax color to log files created by sysklogd.
lilypink
A dark color scheme, modification of mrpink
html advanced text objects
some advanced vim html textobject mappings
syntax/m4.vim
Improved m4.vim
vim-ocaml-conceal
vim conceal syntax file for ocaml
autocomplpop
Automatically opens popup menu for completions
ctrlp_bdelete.vim
An extension to ctrlp.vim for deleting open buffers
haproxy.vim
haproxy vim syntax
haskellfoldindent
Better automatic indenting and folding for Haskell in vim.
hlmatch.vim
opinionated Vim highlighting utils.
incbool.vim
The plugin allows to increment not only numbers but also and bools
python-syntax.vim
Enhanced version of the python syntax highlighting script