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

	Commit message (Expand)	Author	Age	Files	Lines
*	alldepend & whitespace	Stephen Dolan	2021-09-06	1	-1/+2
*	Lazy strengthening and module type declarations	Stephen Dolan	2021-09-06	1	-1/+13
*	Lazy signature substitutions	Stephen Dolan	2021-09-06	1	-0/+50
*	update locations for destructive substitutions	Thomas Refis	2021-05-10	1	-0/+1
*	Subst: add_modtype_path function	octachron	2021-02-17	1	-0/+2
*	Short circuit simple inclusion checks	Leo White	2020-03-04	1	-0/+1
*	subst: explicitly rescope signatures (WIP)	Thomas Refis	2019-04-16	1	-5/+21
*	enforce that every call to save_desc is necessarily followed by cleanup_types...	Thomas Refis	2019-02-25	1	-1/+0
*	Revert "update locations for destructive substitutions"	Thomas Refis	2018-10-08	1	-1/+0
*	move refresh_signature out of Subst, add Env.enter_signature	Thomas Refis	2018-09-21	1	-2/+1
*	properly scope idents	Thomas Refis	2018-09-21	1	-0/+2
*	more precise extension mismatch error messages	Thomas Refis	2018-08-09	1	-1/+0
*	update locations for destructive substitutions	Thomas Refis	2018-05-29	1	-0/+1
*	Merge pull request #792 from sliquister/generalize-destr-subst2	Leo White	2017-09-15	1	-0/+8
\|\
\| *	Support syntax: S with module M.N := ..	Valentin Gatien-Baron	2017-08-01	1	-0/+1
\| *	Support syntax: S with M.N.t := ...	Valentin Gatien-Baron	2017-08-01	1	-1/+2
\| *	Support syntax: S with type t := valid-type-expression	Valentin Gatien-Baron	2017-07-29	1	-0/+6
* \|	Typos and basic grammar error fixing (#1280)	Fourchaux	2017-08-10	1	-2/+2
\|/
*	Fix PR#7414 by adding Mtype.lower_nongen	Jacques Garrigue	2016-11-21	1	-1/+0
*	Fix PR#7152: lower level of non-generalized variables to binding time of encl...	Jacques Garrigue	2016-03-06	1	-0/+1
*	Update headers for the new license.	Damien Doligez	2016-02-18	1	-11/+14
*	merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...	Damien Doligez	2015-07-17	1	-0/+2
*	PR#5584: merge open extensible types, extension-patch-4.0.2	Jacques Garrigue	2014-05-04	1	-2/+2
*	Keep attributes on module declarations.	Alain Frisch	2013-09-27	1	-0/+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	-1/+1
*	renaming of Objective Caml to OCaml and cleanup of copyright headers	Damien Doligez	2011-07-27	1	-1/+1
*	clean up spaces and tabs	Damien Doligez	2010-01-22	1	-1/+1
*	merge changes from ocaml3110 to ocaml3111rc0	Damien Doligez	2009-05-20	1	-0/+4
*	merge changes 3.10.0 -> 3.10.1	Damien Doligez	2008-01-11	1	-0/+3
*	normalize for multiple files and trim cmi size	Jacques Garrigue	2002-04-04	1	-0/+1
*	normalize signatures before saving	Jacques Garrigue	2002-04-04	1	-0/+1
*	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/+3
*	Pas besoin de Env.level et Subst.limit_level finalement...	Jérôme Vouillon	1997-03-24	1	-1/+0
*	Limitation du niveau des variables non generiques	Jérôme Vouillon	1997-03-14	1	-0/+13
*	Decoupage du module Typedtree en deux: Types et Typedtree.	Xavier Leroy	1996-09-23	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/+1
*	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/+21