aboutsummaryrefslogtreecommitdiff
path: root/lib/cString.mli
AgeCommit message (Expand)Author
2017-12-23[lib] Split auxiliary libraries into Coq-specific and general.Emilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2016-09-28CLEANUP: remove the definition of the "CString.map" function. We will use the...Matej Kosik
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-11-13Move conjugate_verb_to_be next to cString.plural.Hugo Herbelin
2014-03-02Set officially the minimal OCaml requirement to 3.12.1Pierre Letouzey
2013-10-24More monomorphic List.mem + List.assoc + ...letouzey
2013-10-24Specializing hash functions for widely used types.ppedrot
2013-08-25Added a more efficient way to recover the domain of a map.ppedrot
2012-12-14Moving hcons_string to String namespace.ppedrot
2012-12-14Moved Stringset and Stringmap to String namespace.ppedrot
2012-12-13Documented CString.ppedrot
2012-11-13Small uniformization in Stringppedrot
2012-11-13Added a CString module.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:53:59 +0000