| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |