coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Change references to CAMLP4 to CAMLP5 to be more accurate since we no	Jim Fehrle	2018-02-17
\| \| \| \|	longer use camlp4.
*	Remove uses of [Flags.make_silent]	Gaetan Gilbert	2017-04-27
\|
*	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib ↵	Pierre Letouzey	2016-07-03
\| \| \| \| \| \|	module) For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a
*	updated include file for debugging	Bruno Barras	2015-01-06
\|
*	use List.rev_map whenever possible	letouzey	2013-02-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16211 85f007b7-540e-0410-9357-904b9bb8a0f7
*	[checker] fixed vo validation problems, module incompatibilities remain	barras	2010-02-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12799 85f007b7-540e-0410-9357-904b9bb8a0f7
*	porting r11900 11905 and 11953 to trunk	barras	2009-03-02
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11954 85f007b7-540e-0410-9357-904b9bb8a0f7