summaryrefslogtreecommitdiffstats
path: root/typing/annot.mli
AgeCommit message (Expand)Author
2012-10-15remove all $Id keywordsDamien Doligez
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2008-07-29amelioration des annotationsDamien Doligez
2007-05-16ajout des annotations pour variables et appels terminauxDamien Doligez