coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
* \|	Avoid warnings about loop indices.	Guillaume Melquiond	2016-01-02
\| *	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
*	Removing the call to Weak.get_copy in hashsets.	Pierre-Marie Pédrot	2014-07-31
*	Adding a field ci_cstr_nargs to case_info and mind_consnrealargs to	Hugo Herbelin	2014-04-28
*	Tweaking arity & allocation of some basic functions.	Pierre-Marie Pédrot	2013-11-24
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	Removed many calls to OCaml generic equality. This was done by	ppedrot	2012-10-29
*	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