summaryrefslogtreecommitdiff
path: root/typing/subst.ml
Commit message (Expand)AuthorAgeFilesLines
* Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy1996-09-231-1/+1
* Printtyp: simplifications.Xavier Leroy1996-05-161-24/+47
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Extension objets.Jérôme Vouillon1996-04-221-8/+120
* Possibilite de rendre manifestes des types variant ou recordXavier Leroy1995-09-261-2/+7
* Foncteurs applicatifs.Xavier Leroy1995-08-231-0/+7
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Remplacement de Cset par SetXavier Leroy1995-05-301-1/+0
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+97