index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
cString.mli
Commit message (
Expand
)
Author
Age
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
Fail on deprecated warning even for Ocaml > 4.02.3
Gaëtan Gilbert
2017-05-28
*
CLEANUP: remove the definition of the "CString.map" function. We will use the...
Matej Kosik
2016-09-28
*
Update copyright headers.
Maxime Dénès
2016-01-20
*
Update headers.
Maxime Dénès
2015-01-12
*
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
*
More monomorphic List.mem + List.assoc + ...
letouzey
2013-10-24
*
Specializing hash functions for widely used types.
ppedrot
2013-10-24
*
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