coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Use a homebrew parser to replace the GEXTEND extension points of Camlp5.	Pierre-Marie Pédrot	2018-06-29
	The parser is stupid and the syntax is almost the same as the previous one. The only difference is that one needs to wrap OCaml code between { braces } so that quoting works out of the box. Files requiring such a syntax are handled specifically by the type system and need to have a .mlg extension instead of a .ml4 one.