2 Commits

Author	SHA1	Message	Date
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
Matvey Aksenov	a3e5fb201d	Added syntax checker for coq.	2013-04-02 22:36:00 +04:00