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

	Commit message (Expand)	Author	Age	Files	Lines
*	Make the `mark` parameters in `Includemod` non-optional	Leo White	2020-06-25	1	-5/+5
*	Short circuit simple inclusion checks	Leo White	2020-03-04	1	-0/+4
*	a better representation for modules with no name (#8908)	Thomas Refis	2019-10-09	1	-1/+4
*	Improved type hierarchy for type mismatches (#8828)	Mekhrubon Turaev	2019-07-30	1	-1/+1
*	Improved error message for illegal permutations (#8546)	Florian Angeletti	2019-03-27	1	-1/+1
*	more precise extension mismatch error messages	Thomas Refis	2018-08-09	1	-3/+3
*	Whitespace and overlong line fixes.	David Allsopp	2018-06-14	1	-1/+2
*	Fix usage warnings with no mli file (#1358)	Leo White	2018-03-14	1	-4/+18
*	share code that checks that the functor application F(M) is well-typed	Valentin Gatien-Baron	2017-12-12	1	-0/+6
*	Support for deprecated attribute on constructors.	alainfrisch	2017-05-09	1	-2/+9
*	Deprecation warning when checking signature inclusion	alainfrisch	2017-04-05	1	-1/+1
*	Update headers for the new license.	Damien Doligez	2016-02-18	1	-11/+14
*	merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...	Damien Doligez	2014-08-22	1	-0/+1
*	PR#5584: merge open extensible types, extension-patch-4.0.2	Jacques Garrigue	2014-05-04	1	-2/+2
*	merge branch "safe-string"	Damien Doligez	2014-04-29	1	-1/+2
*	Fix PR#6376	Jacques Garrigue	2014-04-21	1	-0/+1
*	#6311: show kind and location of missing item, in case of signature mismatch.	Alain Frisch	2014-01-30	1	-1/+1
*	fix path comparison. still a problem with FCMod in Core.Binable	Jacques Garrigue	2013-10-02	1	-0/+1
*	Support module aliases.	Jacques Garrigue	2013-09-29	1	-0/+1
*	Merge short-paths into a fresh branch of trunk.short-paths-4.01	Jacques Garrigue	2013-01-29	1	-1/+1
\|\
\| *	merge version/4.00 at revision 12866	Jacques Garrigue	2012-08-21	1	-2/+2
\| *	propagate path-expansion environment everywhere	Jacques Garrigue	2012-01-23	1	-1/+1
* \|	remove all $Id keywords	Damien Doligez	2012-10-15	1	-2/+0
* \|	merge with branch bin-annot	Fabrice Le Fessant	2012-05-30	1	-2/+2
\|/
*	Shorter error messages for modules	Jacques Garrigue	2011-10-20	1	-1/+5
*	renaming of Objective Caml to OCaml and cleanup of copyright headers	Damien Doligez	2011-07-27	1	-1/+1
*	PR#4478: better error messages for type definition mismatches	Jacques Garrigue	2010-05-21	1	-1/+2
*	fusion des changements 3.09.2 -> 3.09.3	Damien Doligez	2006-09-20	1	-0/+1
*	Revu les impressions du compilateur	Pierre Weis	2000-03-06	1	-1/+2
*	Changement de la licence	Xavier Leroy	1999-11-17	1	-1/+2
*	Nouvelle syntaxe des classes	Jérôme Vouillon	1998-06-24	1	-1/+6
*	Erreur Class_type renommee en Class_types.	Jérôme Vouillon	1997-03-10	1	-1/+1
*	Decoupage du module Typedtree en deux: Types et Typedtree.	Xavier Leroy	1996-09-23	1	-0/+1
*	Typage plus strict de "SIG with ..."	Xavier Leroy	1996-07-25	1	-0/+2
*	Renommage en Objective Caml	Xavier Leroy	1996-04-30	1	-2/+2
*	Extension objets.	Jérôme Vouillon	1996-04-22	1	-0/+1
*	Correction du test d'equivalence entre deux declarations de modtypes	Xavier Leroy	1996-02-22	1	-0/+1
*	Meilleur traitement des variables non generalisables.	Xavier Leroy	1995-09-02	1	-0/+2
*	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/+19