summaryrefslogtreecommitdiffstats
path: root/typing/ident.mli
AgeCommit message (Expand)Author
2012-05-30merge with branch bin-annotFabrice Le Fessant
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-01-22clean up spaces and tabsDamien Doligez
2004-01-04PR#1914,PR#1956 depollution de l'espace de nomsDamien Doligez
2003-11-25fast and compact classesJacques Garrigue
2003-05-12Reinitialiser le gensym de Ident entre 2 compilations (PR#1618)Xavier Leroy
2003-05-12Ajout unique_toplevel_name pour les besoins de Translmod.transl_toplevel_itemXavier Leroy
2000-05-16Ajout de Ident.renameXavier Leroy
2000-03-13Le module Ident passe a Format.Pierre Weis
1999-11-17Changement de la licenceXavier Leroy
1999-11-12Réécriture des messages d'erreur en printf. Suppression de code mort.Pierre Weis
1998-11-11Bug de let moduleJérôme Vouillon
1997-03-10Suppression de Ident.identity.Jérôme Vouillon
1997-03-07Les identificateurs n'etaient pas identifies "dans le bon sens".Jérôme Vouillon
1996-07-15Ident: ajout de Ident.iter.Xavier Leroy
1996-04-30Renommage en Objective CamlXavier Leroy
1996-04-22Extension objets.Jérôme Vouillon
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-07-02Nouvelle technique de construction du CRC pour les .cmi.Xavier 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 2024-11-25 22:07:17 +0000