coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Move conjugate_verb_to_be next to cString.plural.	Hugo Herbelin	2014-11-13
*	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey	2014-03-02
*	CString: avoid redefining is_sub	Pierre Letouzey	2014-01-30
*	Partial application hunt.	ppedrot	2013-11-07
*	More monomorphic List.mem + List.assoc + ...	letouzey	2013-10-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
*	Added a more efficient way to recover the domain of a map.	ppedrot	2013-08-25
*	Moving hcons_string to String namespace.	ppedrot	2012-12-14
*	Moved Stringset and Stringmap to String namespace.	ppedrot	2012-12-14
*	Documented CString.	ppedrot	2012-12-13
*	Small uniformization in String	ppedrot	2012-11-13
*	Added a CString module.	ppedrot	2012-11-13