summaryrefslogtreecommitdiffstats
path: root/typing/mtype.mli
AgeCommit message (Expand)Author
2014-03-10Fix PR#6307Jacques Garrigue
2013-12-17merge generative functorsJacques Garrigue
2013-09-27Keep attributes on module declarations.Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2004-04-09Pour l'option -pack, ajout possibilite de donner des .cmi sur la ligne de com...Xavier Leroy
2004-02-14Ajout alpha-conversion manquante dans la construction 'SIG with ...' (PR#1968)Xavier Leroy
2003-07-01Detection des abreviations de types mal formees introduites par 'module rec'Xavier Leroy
2003-06-19Merge branch with recursive modulesXavier Leroy
1999-11-17Changement de la licenceXavier Leroy
1999-03-01Typo dans commentaireXavier Leroy
1996-09-23Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy
1996-04-30Renommage en Objective CamlXavier 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:44:29 +0000