summaryrefslogtreecommitdiff
path: root/typing/stypes.mli
Commit message (Expand)AuthorAgeFilesLines
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* merge with branch bin-annotFabrice Le Fessant2012-05-301-1/+1
* 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-5/+7
* RAZ des variables de types pour .annotDamien Doligez2003-07-231-0/+1
* utilise Stypes dans ocamlbrowserJacques Garrigue2003-04-021-1/+15
* ajout option -stypes; dependDamien Doligez2003-04-021-0/+18