summaryrefslogtreecommitdiff
path: root/typing/predef.ml
Commit message (Expand)AuthorAgeFilesLines
* Bidouillage d'un commentaire pour que camldep ne produise pas deXavier Leroy1995-07-121-1/+1
* Correction de la declaration de Match_failure (1 argument qui est unXavier Leroy1995-06-051-1/+1
* Remplacement de Cset par SetXavier Leroy1995-05-301-1/+0
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+98