coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert	2017-05-28
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-03-30
\|\
\| *	A patch renaming equal into eq in the module dealing with	Hugo Herbelin	2016-03-22
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Fix typos.	Guillaume Melquiond	2016-01-01
* \|	Remove unused hashconsing code.	Guillaume Melquiond	2016-01-01
\| *	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
*	Tweaking arity & allocation of some basic functions.	Pierre-Marie Pédrot	2013-11-24
*	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