coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	still some more dead code removal	letouzey	2012-10-06
*	Getting rid of Pp.msgnl and Pp.message.	ppedrot	2012-06-01
*	Module names and constant/inductive names are now in two separate namespaces	letouzey	2012-03-26
*	Univ: enforce_leq instead of enforce_geq for more uniformity	letouzey	2012-03-22
*	Noise for nothing	pboutill	2012-03-02
*	Checker/subtyping.ml: avoid adding in env a module already there (fix #2609)	letouzey	2011-10-26
*	ported r14149 from v8.3 branch: bug in checker (redefined global)	barras	2011-05-23
*	Modops: the strengthening functions can work without any env argument	letouzey	2011-05-17
*	Subtyping: align coqtop behavior concerning opaque csts on coqchk's one	letouzey	2011-04-12
*	Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacks	letouzey	2011-04-03
*	Univ.constraints made fully abstract instead of being a Set of abstract stuff	letouzey	2010-12-18
*	Checker: remove some dead code	letouzey	2010-09-24
*	Sharing is not anymore broken by traverse_module.	soubiran	2010-09-15
*	After the approval of Bruno, here the patch for the checker.	soubiran	2010-04-29
*	This big commit addresses two problems:	soubiran	2009-10-21
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	porting r11900 11905 and 11953 to trunk	barras	2009-03-02
*	Report des commits 11417 et 11437 de la v8.2	soubiran	2008-10-15
*	fixed bug #1927 + univ constraints (module cstrs include cstrs of its subcomp...	barras	2008-09-02
*	fixed bug with aliases	barras	2008-05-07
*	checker deals with polymorphic constants and module aliases	barras	2008-05-06
*	added the .vo checker (with independent Makefile)	barras	2008-04-21