coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	A patch renaming equal into eq in the module dealing with	Hugo Herbelin	2016-03-22
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Reverting 16 last commits, committed mistakenly using the wrong push command.	Hugo Herbelin	2015-08-02
*	A patch renaming equal into eq in the module dealing with	Hugo Herbelin	2015-08-02
*	Adding a statistic function on hashconsing tables.	Pierre-Marie Pédrot	2015-02-11
*	Update headers.	Maxime Dénès	2015-01-12
*	Ensuring the good invariants of hashcons table generation in the API.	Pierre-Marie Pédrot	2014-12-17
*	Specializing hash functions for widely used types.	ppedrot	2013-10-24
*	Removing some lone List.assoc & List.mem in lib.	ppedrot	2013-08-28
*	More complete hashcons : lists (dirpath), arrays (constr)	letouzey	2013-08-22
*	Using weak tables instead of plain hash tables while hashconsing.	ppedrot	2012-10-17
*	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
*	Updating headers.	herbelin	2012-08-08
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	Nouvelle en-tête	herbelin	2004-07-16
*	entetes	filliatr	2001-03-15
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	- un effort sur la doc (ocamlweb)	filliatr	1999-09-19
*	un petit effort de presentation dans les interfaces	filliatr	1999-08-30
*	Initial revision	filliatr	1999-08-16