Age | Commit message (Expand) | Author |
---|---|---|
2014-05-04 | PR#5584: merge open extensible types, extension-patch-4.0.2 | Jacques Garrigue |
2012-10-15 | remove all $Id keywords | Damien Doligez |
2011-07-27 | renaming of Objective Caml to OCaml and cleanup of copyright headers | Damien Doligez |
2010-05-31 | PR#4964: parenthesized names for infix functions in annot files | Xavier Clerc |
2002-02-13 | ajoute interface pour oprint | Daniel de Rauglaudre |