summaryrefslogtreecommitdiffstats
path: root/typing/includemod.mli
AgeCommit message (Expand)Author
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2014-04-29merge branch "safe-string"Damien Doligez
2014-04-21Fix PR#6376Jacques Garrigue
2014-01-30#6311: show kind and location of missing item, in case of signature mismatch.Alain Frisch
2013-10-02fix path comparison. still a problem with FCMod in Core.BinableJacques Garrigue
2013-09-29Support module aliases.Jacques Garrigue
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
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-01-23propagate path-expansion environment everywhereJacques Garrigue
2011-10-20Shorter error messages for modulesJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-05-21PR#4478: better error messages for type definition mismatchesJacques Garrigue
2006-09-20fusion des changements 3.09.2 -> 3.09.3Damien Doligez
2000-03-06Revu les impressions du compilateurPierre Weis
1999-11-17Changement de la licenceXavier Leroy
1998-06-24Nouvelle syntaxe des classesJérôme Vouillon
1997-03-10Erreur Class_type renommee en Class_types.Jérôme Vouillon
1996-09-23Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy
1996-07-25Typage plus strict de "SIG with ..."Xavier Leroy
1996-04-30Renommage en Objective CamlXavier Leroy
1996-04-22Extension objets.Jérôme Vouillon
1996-02-22Correction du test d'equivalence entre deux declarations de modtypesXavier Leroy
1995-09-02Meilleur traitement des variables non generalisables.Xavier Leroy
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-13 03:47:20 +0000