coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Getting rid of Pp.msgnl and Pp.message.	ppedrot	2012-06-01
*	Getting rid of Pp.msg	ppedrot	2012-05-30
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Noise for nothing	pboutill	2012-03-02
*	Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacks	letouzey	2011-04-03
*	Fix function applications without labels (OCaml warning 6)	glondu	2010-09-28
*	Checker: remove some dead code	letouzey	2010-09-24
*	* lib/Flags: Replace dont_load_proofs by load_proofs since not loading	regisgia	2010-08-27
*	* Improve documentation of LightenLibrary.	regisgia	2010-08-27
*	* (checker\|kernel)/Safe_typing: New LightenLibrary.	regisgia	2010-08-27
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Fix typos	glondu	2010-06-02
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Backporting from v8.2 to trunk:	herbelin	2009-01-18
*	fixed bug #1927 + univ constraints (module cstrs include cstrs of its subcomp...	barras	2008-09-02
*	fixed loop in dependency fold of the checker	barras	2008-07-24
*	Lissage de la gestion des chemins de chargement de fichiers :	herbelin	2008-06-29
*	doc of coqchk + improved module cache and computation of module sets	barras	2008-05-23
*	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