not logged in (
login
)
Home
Advanced search
About Vim
Community
News
Sponsoring
Trivia
Documentation
Download
Scripts
Tips
My Account
Site Help
Search Results
Searched scripts for "
coq
"
Showing
1
to
4
of
4
results
Script
Type
Rating
Down
loads
Summary
coq syntax
syntax
44
3088
syntax colouring for coq files
CoqIDE
utility
31
3424
Emulate Coq IDE in VIM
Coq indent
indent
5
1782
Indentation for coq files
vim-gitignore
utility
1
982
Another gitignore plugin for Vim
prev
|
next
Showing
1
to
4
of
4
results
keywords
type
-- all --
color scheme
ftplugin
game
indent
syntax
utility
patch
sort by
Rating
Downloads
Script Name
Creation Date
Descending
Ascending
If you have questions or remarks about this site, visit the
vimonline development
pages. Please use this site responsibly.
Questions about
Vim
should go to the
maillist
. Help Bram
help Uganda
.
Vim at Github