summaryrefslogtreecommitdiff
path: root/typing/ident.mli
Commit message (Expand)AuthorAgeFilesLines
* Ident: ajout de Ident.iter.Xavier Leroy1996-07-151-0/+4
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Extension objets.Jérôme Vouillon1996-04-221-2/+2
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Nouvelle technique de construction du CRC pour les .cmi.Xavier Leroy1995-07-021-0/+1
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+39