coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Specializing hash functions for widely used types.	ppedrot	2013-10-24
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	Removing some lone List.assoc & List.mem in lib.	ppedrot	2013-08-28
*	More complete hashcons : lists (dirpath), arrays (constr)	letouzey	2013-08-22
*	Small uniformization in String	ppedrot	2012-11-13
*	Removed many calls to OCaml generic equality. This was done by	ppedrot	2012-10-29
*	Reusing the Hashset data structure in Hashcons. Hopefully, this should	ppedrot	2012-09-26
*	Cleaning, renaming obscure functions and documenting in Hashcons.	ppedrot	2012-09-26
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Updating headers.	herbelin	2012-08-08
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	Nouvelle en-tête	herbelin	2004-07-16
*	entetes	filliatr	2001-03-15
*	- un effort sur la doc (ocamlweb)	filliatr	1999-09-19
*	Initial revision	filliatr	1999-08-16