Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-09-09 | Remove labltk from the distribution (will be available as a third-party ↵ | Xavier Clerc | |
library). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | |||
2012-07-30 | clean up TABs and whitespace | Damien Doligez | |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | |||
2010-08-02 | merge changes from branching of 3.12 to release/3.12.0 | Damien Doligez | |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 |