summaryrefslogtreecommitdiffstats
path: root/typing/oprint.mli
AgeCommit message (Expand)Author
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2012-10-15remove all $Id keywordsDamien Doligez
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-05-31PR#4964: parenthesized names for infix functions in annot filesXavier Clerc
2002-02-13ajoute interface pour oprintDaniel de Rauglaudre