| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-07-30 | clean up TABs and whitespace | Damien Doligez |
| 2012-07-17 | removed bogus $Id lines | Damien Doligez |
| 2012-07-10 | fix PR#5674: move Texp_poly and Texp_newtype to exp_extra | Jacques Garrigue |
| 2012-05-31 | keep the text width to 80 columns | Jacques Garrigue |
| 2012-05-30 | merge with bin-annot: add missing files | Fabrice Le Fessant |
 |
index : adrien/ocaml | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiffstats |