sponsor Vim development Vim logo Vim Book Ad

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
sort by
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