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