index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
checker
/
check.mllib
Commit message (
Expand
)
Author
Age
*
Added a CString module.
ppedrot
2012-11-13
*
Added an Int module with dummy utility functions.
ppedrot
2012-11-08
*
Getting rid of Compat in the checker.
ppedrot
2012-10-04
*
Moved Compat to parsing. This permits to break the dependency of the
ppedrot
2012-10-04
*
Reusing the Hashset data structure in Hashcons. Hopefully, this should
ppedrot
2012-09-26
*
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
*
Added an indirection with respect to Loc in Compat. As many [open Compat]
ppedrot
2012-06-22
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
Noise for nothing
pboutill
2012-03-02
*
* Segmenttree: New. A very simple implementation of segment trees.
regisgia
2010-01-08
*
* Rewrite [classify_unicode] using standard unicode tables.
regisgia
2009-12-20
*
Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey
2009-03-20