summaryrefslogtreecommitdiffstats
path: root/typing/subst.mli
AgeCommit message (Expand)Author
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2013-09-27Keep attributes on module declarations.Alain Frisch
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
2010-01-22clean up spaces and tabsDamien Doligez
2009-05-20merge changes from ocaml3110 to ocaml3111rc0Damien Doligez
2008-01-11merge changes 3.10.0 -> 3.10.1Damien Doligez
2002-04-04normalize for multiple files and trim cmi sizeJacques Garrigue
2002-04-04normalize signatures before savingJacques Garrigue
1999-11-17Changement de la licenceXavier Leroy
1998-06-24Nouvelle syntaxe des classesJérôme Vouillon
1997-03-24Pas besoin de Env.level et Subst.limit_level finalement...Jérôme Vouillon
1997-03-14Limitation du niveau des variables non generiquesJérôme Vouillon
1996-09-23Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy
1996-04-30Renommage en Objective CamlXavier Leroy
1996-04-22Extension objets.Jérôme Vouillon
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy