coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	New function [Constr.equal_with] to compare terms up to variants of [kind_of_...	Arnaud Spiwack	2015-02-24
*	A few improvements on pattern-matching compilation.	Hugo Herbelin	2014-10-05
*	Slightly more efficient Array.smartmap & related.	Pierre-Marie Pédrot	2014-03-20
*	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey	2014-03-02
*	Tentative fixup for the previous commit. It seems I have broken something	Pierre-Marie Pédrot	2014-02-10
*	Small optimizations in Closure:	Pierre-Marie Pédrot	2014-02-09
*	Adding closure-preventing functions in CArray. These functions are all	ppedrot	2013-11-04
*	Small optimizations in unification.	ppedrot	2013-10-23
*	More efficient operations in CArray.	ppedrot	2013-10-22
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	Minor code cleaning in CArray / CList.	ppedrot	2013-03-23
*	Missing primitive in CArray	ppedrot	2013-03-05
*	Array.create is deprecated	pboutill	2012-12-19
*	More monomorphizations	ppedrot	2012-11-13
*	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot	2012-11-08
*	More cleaning in CArray...	ppedrot	2012-09-18
*	As r15801: putting everything from Util.array_* to CArray.*.	ppedrot	2012-09-14