coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Temporary revert commit 14550 since it breaks a few contribs	letouzey	2011-10-12
*	in heads.ml, at least turn the Not_found of #2608 into assert false	letouzey	2011-10-11
*	Heads: generic equality on constr replaced by destructor	puech	2011-07-29
*	Some dead code removal, thanks to Oug analyzer	letouzey	2010-09-24
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	This big commit addresses two problems:	soubiran	2009-10-21
*	Remove useless Liboject.export_function field	glondu	2009-09-17
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Death of "survive_module" and "survive_section" (the first one was	herbelin	2009-08-13
*	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin	2009-08-06
*	Some dead code removal + cleanups	letouzey	2009-04-08
*	Correct implementation of discharging of implicit arguments and add new	msozeau	2008-07-22
*	Ajout propriété svn:keywords aux nouveaux fichiers du commit 10840	herbelin	2008-04-24
*	Prise en compte des coercions dans les clauses "with" même si le type	herbelin	2008-04-23