coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Moving Dnet-related code to tactics/.	Pierre-Marie Pédrot	2014-05-08
*	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau	2014-05-06
*	Adding a field ci_cstr_nargs to case_info and mind_consnrealargs to	Hugo Herbelin	2014-04-28
*	Removing Pervasives.compare in Termdn.	Pierre-Marie Pédrot	2014-02-28
*	Removing a Pervasives.compare in Term_dnet.	Pierre-Marie Pédrot	2014-02-28
*	At least made the evar type opaque! There are still 5 remaining unsafe	ppedrot	2013-09-18
*	Removing the last global evar generation in Term_dnet. The very	ppedrot	2013-09-18
*	Removing unused code from Term_dnet.	ppedrot	2013-09-18
*	Removing useless uses of Gmap.	ppedrot	2013-05-14
*	Monomorphization (pretyping)	ppedrot	2012-11-22
*	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey	2012-10-02
*	As r15801: putting everything from Util.array_* to CArray.*.	ppedrot	2012-09-14
*	This patch removes unused "open" (automatically generated from	regisgia	2012-09-14
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	global_reference migrated from Libnames to new Globnames, less deps in gramma...	letouzey	2012-05-29
*	Noise for nothing	pboutill	2012-03-02
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	fix [Search] when the result has no hypothesis & constant comparison	puech	2010-03-11
*	Fix bug in dnet.ml, which missed some results when filtering one term against...	puech	2009-10-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	- Fix handling of clauses in setoid_rewrite to rewrite under binders	msozeau	2009-04-17
*	DISCLAIMER	puech	2009-01-17