summaryrefslogtreecommitdiff
path: root/typing/mtype.mli
Commit message (Expand)AuthorAgeFilesLines
* Fix PR#6307Jacques Garrigue2014-03-101-0/+1
* merge generative functorsJacques Garrigue2013-12-171-0/+1
* Keep attributes on module declarations.Alain Frisch2013-09-271-0/+1
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Pour l'option -pack, ajout possibilite de donner des .cmi sur la ligne de com...Xavier Leroy2004-04-091-0/+4
* Ajout alpha-conversion manquante dans la construction 'SIG with ...' (PR#1968)Xavier Leroy2004-02-141-0/+3
* Detection des abreviations de types mal formees introduites par 'module rec'Xavier Leroy2003-07-011-0/+1
* Merge branch with recursive modulesXavier Leroy2003-06-191-0/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Typo dans commentaireXavier Leroy1999-03-011-1/+1
* Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy1996-09-231-1/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+15