summaryrefslogtreecommitdiff
path: root/typing/annot.mli
Commit message (Expand)AuthorAgeFilesLines
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* amelioration des annotationsDamien Doligez2008-07-291-1/+1
* ajout des annotations pour variables et appels terminauxDamien Doligez2007-05-161-0/+23