summaryrefslogtreecommitdiffstats
path: root/typing/path.ml
AgeCommit message (Expand)Author
2012-01-12#5438: fix bug reported by Boris Yakobowski; the local type name correspondin...Alain Frisch
2011-07-29merge branches/gadtsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-11-15fix printing bugJacques Garrigue
2010-11-12move everything to type_expectJacques Garrigue
2010-01-22clean up spaces and tabsDamien Doligez
2003-07-01Detection des abreviations de types mal formees introduites par 'module rec'Xavier Leroy
2000-12-28Getting rid of obsolete boolean operators & and orPierre Weis
1999-11-17Changement de la licenceXavier Leroy
1998-06-23Meilleurs noms pour les exceptionsXavier Leroy
1996-07-15Ident: ajout de Ident.iter.Xavier Leroy
1996-04-30Renommage en Objective CamlXavier Leroy
1995-08-23Foncteurs applicatifs.Xavier Leroy
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy