delta/ocaml.git - github.com: ocaml/ocaml

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