summaryrefslogtreecommitdiff
path: root/typing/oprint.mli
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-0/+1
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* PR#4964: parenthesized names for infix functions in annot filesXavier Clerc2010-05-311-0/+2
* ajoute interface pour oprintDaniel de Rauglaudre2002-02-131-0/+24