summaryrefslogtreecommitdiffstats
path: root/typing/mtype.mli
AgeCommit message (Collapse)Author
2014-03-10Fix PR#6307Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14451 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-12-17merge generative functorsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-27Keep attributes on module declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15remove all $Id keywordsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-09Pour l'option -pack, ajout possibilite de donner des .cmi sur la ligne de ↵Xavier Leroy
commande pour denoter des sous-modules dont l'implementation est identique a l'interface git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-02-14Ajout alpha-conversion manquante dans la construction 'SIG with ...' (PR#1968)Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6116 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-01Detection des abreviations de types mal formees introduites par 'module rec'Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5640 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-19Merge branch with recursive modulesXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17Changement de la licenceXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-03-01Typo dans commentaireXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-09-23Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy
Sauver l'environnement de typage en plus du type dans les a.s.t. de Typedtree. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1996-04-30Renommage en Objective CamlXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-08-09Ajout des notices de copyrightXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-14 02:40:52 +0000