coq - The formal proof system

Age	Commit message (Expand)	Author
2014-05-06	This commit adds full universe polymorphism and fast projections to Coq.	Matthieu Sozeau
2014-03-05	Remove some dead-code (thanks to ocaml warnings)	Pierre Letouzey
2014-03-02	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey
2013-11-24	Tweaking arity & allocation of some basic functions.	Pierre-Marie Pédrot
2013-10-24	More monomorphic List.mem + List.assoc + ...	letouzey
2013-10-24	Fix the semantic of the new List.remove_assoc_f	letouzey
2013-10-24	Turn many List.assoc into List.assoc_f	letouzey
2013-10-23	cList: a few alternative to hashtbl-based uniquize, distinct, subset	letouzey
2013-10-23	CList.factorize_left with a parametric equality	letouzey
2013-10-23	CList.prefix_of and CList.drop_prefix with a parametric equality	letouzey
2013-10-23	cList.index is now cList.index_f, same for index0	letouzey
2013-10-23	cList: set-as-list functions are now with an explicit comparison	letouzey
2013-10-22	Optimizing evar filters. It seems to cost quite a lot in unification,	ppedrot
2013-10-10	Clib: fold_left_until added to CList	gareuselesinge
2013-08-28	Removing some lone List.assoc & List.mem in lib.	ppedrot
2013-03-23	Minor code cleaning in CArray / CList.	ppedrot
2013-03-12	invalid_arg instead of raise (Invalid_argement ...)	letouzey
2012-11-22	Monomorphization (lib)	ppedrot
2012-11-20	Cleaning and small optimization in CList.	ppedrot
2012-11-08	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-09-18	More cleaning in CArray...	ppedrot
2012-09-18	Cleaning interface of Util.	ppedrot
2012-09-17	More cleaning on Utils and CList. Some parts of the code being	ppedrot
2012-09-15	Some documentation and cleaning of CList and Util interfaces.	ppedrot
2012-09-14	Added some tricky tail-rec versions of List functions to CList	ppedrot
2012-09-14	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot