summaryrefslogtreecommitdiff
path: root/typing/includemod.mli
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-0/+1
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-2/+2
* merge branch "safe-string"Damien Doligez2014-04-291-1/+2
* Fix PR#6376Jacques Garrigue2014-04-211-0/+1
* #6311: show kind and location of missing item, in case of signature mismatch.Alain Frisch2014-01-301-1/+1
* fix path comparison. still a problem with FCMod in Core.BinableJacques Garrigue2013-10-021-0/+1
* Support module aliases.Jacques Garrigue2013-09-291-0/+1
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-1/+1
|\
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-2/+2
| * propagate path-expansion environment everywhereJacques Garrigue2012-01-231-1/+1
* | remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* | merge with branch bin-annotFabrice Le Fessant2012-05-301-2/+2
|/
* 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