summaryrefslogtreecommitdiffstats
path: root/typing/stypes.ml
AgeCommit message (Expand)Author
2014-10-29fix a bug where the .annot files were truncated because of a missing "close"Damien Doligez
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
2013-06-04#6030: Avoid repeated flushes.Alain Frisch
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
2012-12-17shorten paths in annot + lookup abbreviations in persistent structuresJacques Garrigue
2012-12-10improve performanceJacques Garrigue
2012-11-07Even faster version.Alain Frisch
2012-11-06Avoid format strings to generate .annot files; just switching to basic Format...Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-08-21merge version/4.00 at revision 12866Jacques Garrigue
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-03-14shorten paths in .annotJacques Garrigue
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
2006-04-16fusion des changements 3.09.1 -> 3.09.2Damien Doligez
2003-07-25dump des types dans l'ordre postfixeDamien Doligez
2003-07-23RAZ des variables de types pour .annotDamien Doligez
2003-07-23fix PR#1764Jacques Garrigue
2003-06-12changement .types -> .annot + formatDamien Doligez
2003-04-03-stypes -> -dtypes; meilleur mode emacsDamien Doligez
2003-04-02ajout choses a faireDamien Doligez
2003-04-02utilise Stypes dans ocamlbrowserJacques Garrigue
2003-04-02ajout option -stypes; dependDamien Doligez
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-13 03:44:29 +0000