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-08-02 | add some missing copyright headers | Damien Doligez | |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | |||
2003-08-21 | Chemin de wish | Xavier Leroy | |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | |||
2002-04-26 | merge the branch mltk | Jun FURUSE / 古瀬 淳 | |
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4745 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 |