| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-01-28 | Added backtrace primitives. | ppedrot |
| 2012-12-14 | Moving hcons_string to String namespace. | ppedrot |
| 2012-11-13 | Added a CString module. | ppedrot |
| 2012-11-08 | Added an Int module with dummy utility functions. | ppedrot |
| 2012-09-18 | More cleanup of Util: utf8 aspects moved to a new file unicode.ml | letouzey |
| 2012-09-18 | Cleaning interface of Util. | ppedrot |
| 2012-09-14 | 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-10 | Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5 | ppedrot |
| 2012-08-24 | correct some ends of .mllib files (avoid a broken tolink.ml) | letouzey |
| 2012-07-20 | Put Option in Clib | pboutill |
| 2012-06-26 | Added a Deque module to CLib (to be used in CoqIDE). | ppedrot |
| 2012-05-23 | Revert copy/pasted function in to minilib thanks to clib.cma | pboutill |
| 2012-04-12 | lib directory is cut in 2 cma. | pboutill |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |