| Age | Commit message (Expand) | Author |
|---|
| 2014-11-10 | PR#6648: show_module should indicate its elision (add Osig_ellipsis to outcom... | Jacques Garrigue |
| 2014-10-14 | Reintegrate-merge constructors_with_record5 branch. | Alain Frisch |
| 2014-10-03 | Factorize. | Alain Frisch |
| 2014-05-04 | PR#5584: merge open extensible types, extension-patch-4.0.2 | Jacques Garrigue |
| 2014-04-07 | Adapt printer. | Alain Frisch |
| 2013-09-04 | Merge branch 4.01 from branching point to 4.01.0+rc1 | Damien Doligez |
| 2013-04-30 | Take ambiguity into account when using -short-paths option. | Jacques Garrigue |
| 2013-04-26 | Improve message for warning 40 | Jacques Garrigue |
| 2013-01-29 | Merge short-paths into a fresh branch of trunk. | Jacques Garrigue |
| 2012-11-11 | merge patch new-error.diff by lpw25 | Jacques Garrigue |
| 2012-10-15 | remove all $Id keywords | Damien Doligez |
| 2012-08-21 | merge version/4.00 at revision 12866 | Jacques Garrigue |
| 2012-05-31 | keep the text width to 80 columns | Jacques Garrigue |
| 2012-05-30 | merge with branch bin-annot | Fabrice Le Fessant |
| 2012-03-23 | revert wrong commit of experiments | Jacques Garrigue |
| 2012-03-23 | Fix PR#5553: do not allow a type variable to have the same name as a local type | Jacques Garrigue |
| 2012-01-23 | propagate path-expansion environment everywhere | Jacques Garrigue |
| 2012-01-22 | shorten paths in signatures and toplevel output | Jacques Garrigue |
| 2012-01-22 | first attempt: handles only unification errors | Jacques Garrigue |
| 2011-07-27 | renaming of Objective Caml to OCaml and cleanup of copyright headers | Damien Doligez |
| 2006-04-16 | fusion des changements 3.09.1 -> 3.09.2 | Damien Doligez |
| 2004-06-12 | Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585) | Xavier Leroy |
| 2003-11-07 | tools for debugging the type checker | Jacques Garrigue |
| 2002-02-13 | Regroupement des impressions "outcometree" dans un seul module oprint.ml. | Daniel de Rauglaudre |
| 2002-01-20 | detabisation | Damien Doligez |
| 2001-10-31 | Ajout de reset_names dans l'interface | Maxence Guesdon |
| 2001-10-01 | Ajout d'une fonction type_cheme_max utilisée pour ocamldoc. Elle est suscept... | Maxence Guesdon |
| 2001-08-15 | - | Daniel de Rauglaudre |
| 2001-08-08 | corrige bug PR#449 | Jacques Garrigue |
| 2001-08-07 | Un peu de nettoyage de code + ajout personnalisation des "phrases" toplevel | Daniel de Rauglaudre |
| 2001-08-06 | Ajouté personalisation de l'affichage des items de signature dans le toplevel | Daniel de Rauglaudre |
| 2001-08-04 | Personalisation de l'affichage des valeurs et des types dans le toplevel. | Daniel de Rauglaudre |
| 2000-03-06 | Revu les impressions du compilateur | Pierre Weis |
| 1999-11-30 | Merge olabl branch | Jacques Garrigue |
| 1999-11-17 | Changement de la licence | Xavier Leroy |
| 1998-11-05 | Ajout du warning de la séquence et pilotage des warnings par l'utilisateur. | Pierre Weis |
| 1998-08-15 | Bug d'affichage des erreurs d'unification | Jérôme Vouillon |
| 1998-06-24 | Nouvelle syntaxe des classes | Jérôme Vouillon |
| 1996-09-23 | Decoupage du module Typedtree en deux: Types et Typedtree. | Xavier Leroy |
| 1996-05-26 | Amelioration de quelques messages d'erreur. | Jérôme Vouillon |
| 1996-05-20 | Amelioration des messages d'erreurs d'unification (expansion des | Jérôme Vouillon |
| 1996-05-16 | Printtyp: simplifications. | Xavier Leroy |
| 1996-04-30 | Renommage en Objective Caml | Xavier Leroy |
| 1996-04-22 | Extension objets. | Jérôme Vouillon |
| 1995-08-09 | Ajout des notices de copyright | Xavier Leroy |
| 1995-05-04 | Passage a la version bootstrappee (franchissement du Rubicon) | Xavier Leroy |
