vim/syntastic
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
7bbaa18dce
syntastic/syntax_checkers/coq
History
Matvey Aksenov a3e5fb201d Added syntax checker for coq.
2013-04-02 22:36:00 +04:00
..
coqtop.vim Added syntax checker for coq. 2013-04-02 22:36:00 +04:00