coq - The formal proof system

Age	Commit message (Expand)	Author
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2017-05-28	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert
2016-09-28	CLEANUP: remove the definition of the "CString.map" function. We will use the...	Matej Kosik
2016-01-20	Update copyright headers.	Maxime Dénès
2015-02-26	Fixing printing of ordinals.	Pierre-Marie Pédrot
2015-01-12	Update headers.	Maxime Dénès
2014-12-17	Ensuring the good invariants of hashcons table generation in the API.	Pierre-Marie Pédrot
2014-11-13	Move conjugate_verb_to_be next to cString.plural.	Hugo Herbelin
2014-03-02	Set officially the minimal OCaml requirement to 3.12.1	Pierre Letouzey
2014-01-30	CString: avoid redefining is_sub	Pierre Letouzey
2013-11-07	Partial application hunt.	ppedrot
2013-10-24	More monomorphic List.mem + List.assoc + ...	letouzey
2013-10-24	Specializing hash functions for widely used types.	ppedrot
2013-09-19	Get rid of the uses of deprecated OCaml elements (still remaining compatible ...	xclerc
2013-08-25	Added a more efficient way to recover the domain of a map.	ppedrot
2012-12-14	Moving hcons_string to String namespace.	ppedrot
2012-12-14	Moved Stringset and Stringmap to String namespace.	ppedrot
2012-12-13	Documented CString.	ppedrot
2012-11-13	Small uniformization in String	ppedrot
2012-11-13	Added a CString module.	ppedrot