Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |