summaryrefslogtreecommitdiffstats
path: root/typing/subst.mli
AgeCommit message (Collapse)Author
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-27Keep attributes on module declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15remove all $Id keywordsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30merge with branch bin-annotFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-22clean up spaces and tabsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-05-20merge changes from ocaml3110 to ocaml3111rc0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-01-11merge changes 3.10.0 -> 3.10.1Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-04normalize for multiple files and trim cmi sizeJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2002-04-04normalize signatures before savingJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4586 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17Changement de la licenceXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-24Nouvelle syntaxe des classesJérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-24Pas besoin de Env.level et Subst.limit_level finalement...Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-03-14Limitation du niveau des variables non generiquesJérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy
Sauver l'environnement de typage en plus du type dans les a.s.t. de Typedtree. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-30Renommage en Objective CamlXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-22Extension objets.Jérôme Vouillon
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-09Ajout des notices de copyrightXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-14 02:40:52 +0000