syntastic/syntax_checkers/coq
Martin Grenfell 602bbe7b24 break down some error format strings
Most errorformats are now expressed 1 "clause" per line.
2013-05-14 17:36:20 +01:00
..
coqtop.vim break down some error format strings 2013-05-14 17:36:20 +01:00