aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/cString.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Fail on deprecated warning even for Ocaml > 4.02.3Gravatar Gaëtan Gilbert2017-05-28
* CLEANUP: remove the definition of the "CString.map" function. We will use the...Gravatar Matej Kosik2016-09-28
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Fixing printing of ordinals.Gravatar Pierre-Marie Pédrot2015-02-26
* Update headers.Gravatar Maxime Dénès2015-01-12
* Ensuring the good invariants of hashcons table generation in the API.Gravatar Pierre-Marie Pédrot2014-12-17
* Move conjugate_verb_to_be next to cString.plural.Gravatar Hugo Herbelin2014-11-13
* Set officially the minimal OCaml requirement to 3.12.1Gravatar Pierre Letouzey2014-03-02
* CString: avoid redefining is_subGravatar Pierre Letouzey2014-01-30
* Partial application hunt.Gravatar ppedrot2013-11-07
* More monomorphic List.mem + List.assoc + ...Gravatar letouzey2013-10-24
* Specializing hash functions for widely used types.Gravatar ppedrot2013-10-24
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25
* Moving hcons_string to String namespace.Gravatar ppedrot2012-12-14
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Documented CString.Gravatar ppedrot2012-12-13
* Small uniformization in StringGravatar ppedrot2012-11-13
* Added a CString module.Gravatar ppedrot2012-11-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 17:34:45 +0000