summaryrefslogtreecommitdiff
path: root/typing/includemod.mli
Commit message (Expand)AuthorAgeFilesLines
* Shorter error messages for modulesJacques Garrigue2011-10-201-1/+5
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* PR#4478: better error messages for type definition mismatchesJacques Garrigue2010-05-211-1/+2
* fusion des changements 3.09.2 -> 3.09.3Damien Doligez2006-09-201-0/+1
* Revu les impressions du compilateurPierre Weis2000-03-061-1/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Nouvelle syntaxe des classesJérôme Vouillon1998-06-241-1/+6
* Erreur Class_type renommee en Class_types.Jérôme Vouillon1997-03-101-1/+1
* Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy1996-09-231-0/+1
* Typage plus strict de "SIG with ..."Xavier Leroy1996-07-251-0/+2
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Extension objets.Jérôme Vouillon1996-04-221-0/+1
* Correction du test d'equivalence entre deux declarations de modtypesXavier Leroy1996-02-221-0/+1
* Meilleur traitement des variables non generalisables.Xavier Leroy1995-09-021-0/+2
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+19