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