Search Results

Script	Type	Rating	Down loads	Summary
Searched scripts for "coq"				Showing 1 to 4 of 4 results
vim-gitignore	utility	1	1250	Another gitignore plugin for Vim
CoqIDE	utility	31	3942	Emulate Coq IDE in VIM
Coq indent	indent	5	2143	Indentation for coq files
coq syntax	syntax	44	3679	syntax colouring for coq files
prev \| next				Showing 1 to 4 of 4 results




	Questions about Vim should go to the maillist. Help Uganda.	Vim at Github