summaryrefslogtreecommitdiffstats
path: root/typing/includeclass.ml
AgeCommit message (Expand)Author
2013-04-16Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to ...Alain Frisch
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
2012-10-15remove all $Id keywordsDamien Doligez
2012-01-23propagate path-expansion environment everywhereJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-08-02merge changes from branching of 3.12 to release/3.12.0Damien Doligez
2010-01-22clean up spaces and tabsDamien Doligez
2009-05-20merge changes from ocaml3110 to ocaml3111rc0Damien Doligez
2006-04-05add virtual instance variablesJacques Garrigue
2000-03-06Revu les impressions du compilateurPierre Weis
1999-11-17Changement de la licenceXavier Leroy
1999-11-08Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ...Xavier Leroy
1998-08-15Bug d'affichage des erreurs d'unificationJérôme Vouillon
1998-06-29Une ligne oublieeXavier Leroy
1998-06-25TypoJérôme Vouillon
1998-06-25Nouvelle syntaxe des classesJérôme Vouillon
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-02-08 20:58:31 +0000