index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
clib.mllib
Commit message (
Expand
)
Author
Age
*
Updated Exninfo to the new Store type.
ppedrot
2013-03-12
*
Added exception enrichment. Now one can define additional arbitrary
ppedrot
2013-02-18
*
Added backtrace primitives.
ppedrot
2013-01-28
*
Moving hcons_string to String namespace.
ppedrot
2012-12-14
*
Added a CString module.
ppedrot
2012-11-13
*
Added an Int module with dummy utility functions.
ppedrot
2012-11-08
*
More cleanup of Util: utf8 aspects moved to a new file unicode.ml
letouzey
2012-09-18
*
Cleaning interface of Util.
ppedrot
2012-09-18
*
As r15801: putting everything from Util.array_* to CArray.*.
ppedrot
2012-09-14
*
Moving Utils.list_* to a proper CList module, which includes stdlib
ppedrot
2012-09-14
*
Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5
ppedrot
2012-09-10
*
correct some ends of .mllib files (avoid a broken tolink.ml)
letouzey
2012-08-24
*
Put Option in Clib
pboutill
2012-07-20
*
Added a Deque module to CLib (to be used in CoqIDE).
ppedrot
2012-06-26
*
Revert copy/pasted function in to minilib thanks to clib.cma
pboutill
2012-05-23
*
lib directory is cut in 2 cma.
pboutill
2012-04-12