summaryrefslogtreecommitdiffstats
path: root/typing/stypes.mli
AgeCommit message (Expand)Author
2012-10-15remove all $Id keywordsDamien Doligez
2012-05-30merge with branch bin-annotFabrice Le Fessant
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
2003-07-23RAZ des variables de types pour .annotDamien Doligez
2003-04-02utilise Stypes dans ocamlbrowserJacques Garrigue
2003-04-02ajout option -stypes; dependDamien Doligez