coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	More monomorphic List.mem + List.assoc + ...	letouzey	2013-10-24
*	cList: a few alternative to hashtbl-based uniquize, distinct, subset	letouzey	2013-10-23
*	Removing some generic equalities.	ppedrot	2013-10-22
*	Removing useless array-to-list and converse casts used in	ppedrot	2013-10-22
*	Optimizing evar filters. It seems to cost quite a lot in unification,	ppedrot	2013-10-22
*	Removing a bunch of generic equalities.	ppedrot	2013-09-27
*	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc	2013-09-19
*	At least made the evar type opaque! There are still 5 remaining unsafe	ppedrot	2013-09-18
*	Fixing a regression in unification introduced in r16205 (error raised	herbelin	2013-05-14
*	Splitting Term into five unrelated interfaces:	ppedrot	2013-04-29
*	Fixing unfolding of local definitions during unification that appeared	herbelin	2013-03-21
*	Cosmetic code contraction in evarsolve.ml + test sur unification avec let-in.	herbelin	2013-03-21
*	Fix for bug #3004 (thanks Hugo!)	letouzey	2013-03-18
*	Retyping.get_type_of: a lax version raising no anomalies	letouzey	2013-03-17
*	Restrict (try...with...) to avoid catching critical exn (part 12)	letouzey	2013-03-13
*	Repairing r16205: errors raised by check_evar_instance were no longer	herbelin	2013-02-28
*	A slightly more efficient test of well-typedness of restriction of	herbelin	2013-02-21
*	Added propagation of evars unification failure reasons for better	herbelin	2013-02-17
*	Splitted Evarutil in two files	ppedrot	2013-02-10