Sanchayan Maity
5f26c276ef
coqtail can provide syntax highlighting. Not sure why we ever added vim-coq-plugin. |
||
---|---|---|
.. | ||
after | ||
autoload | ||
colors | ||
compiler | ||
ftdetect | ||
lua | ||
plugin | ||
init.lua |
Sanchayan Maity
5f26c276ef
coqtail can provide syntax highlighting. Not sure why we ever added vim-coq-plugin. |
||
---|---|---|
.. | ||
after | ||
autoload | ||
colors | ||
compiler | ||
ftdetect | ||
lua | ||
plugin | ||
init.lua |