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

	Commit message (Expand)	Author	Age	Files	Lines
*	Ajout du support pour le debugger	Xavier Leroy	1996-11-29	2	-31/+101
*	Dans les declarations de la forme	Xavier Leroy	1996-11-13	1	-1/+7
*	Gestion des boi^tes ?	Pierre Weis	1996-11-08	1	-4/+3
*	Misc.lowercase -> String.uncapitalize	Xavier Leroy	1996-10-31	1	-1/+1
*	Unification sous prefixe : le test d'occurence ne traverse pas tout le	Jérôme Vouillon	1996-10-28	1	-26/+61
*	`build_supertype' inutilise.	Jérôme Vouillon	1996-10-27	1	-59/+3
*	Type de methode maintenant optionnel dans interface de classe (permet	Jérôme Vouillon	1996-10-26	2	-1/+14
*	Correction d'un bug des classes recursives dans une interface.	Jérôme Vouillon	1996-10-26	1	-9/+2
*	Message d'erreur correct pour `(1 : int :> bool)'.	Jérôme Vouillon	1996-10-26	1	-7/+14
*	Equivalent de type_expect pour les methodes.	Jérôme Vouillon	1996-10-26	3	-13/+45
*	Revision de la fonction `occur' : accepte de nouveau les recursions a	Jérôme Vouillon	1996-10-26	1	-15/+50
*	Pour les sous-typage, il faut differencier les variables "libres" des	Jérôme Vouillon	1996-10-26	1	-4/+6
*	Bug dans check_unique_names : les classes produisent des abreviations...	Jérôme Vouillon	1996-10-25	1	-1/+5
*	Meilleur traitement des abreviations dans Ctype.moregen et Ctype.moregen_occur	Xavier Leroy	1996-10-25	1	-33/+38
*	Typos.	Jérôme Vouillon	1996-10-08	2	-2/+2
*	Deplacement d'un try...with dans expand_abbrev.	Xavier Leroy	1996-10-01	1	-16/+14
*	Gestion des niveaux de variables revue dans les declarations de types.	Xavier Leroy	1996-09-24	1	-0/+5
*	Garder autant que possible une abreviation lors de l'unification de	Jérôme Vouillon	1996-09-23	1	-6/+2
*	Interfaces de classes : normalisation des abreviations (unroll_abbrev).	Jérôme Vouillon	1996-09-23	1	-0/+1
*	Bug de lecture des types classes #xxx corrige.	Jérôme Vouillon	1996-09-23	1	-1/+1
*	Correction d'un bug de moregeneral.	Jérôme Vouillon	1996-09-23	1	-2/+1
*	Decoupage du module Typedtree en deux: Types et Typedtree.	Xavier Leroy	1996-09-23	33	-286/+370
*	Un argument etait inutilise dans linear_abbrev.	Jérôme Vouillon	1996-09-21	1	-33/+33
*	Reecriture de correct_abbrev, qui etait beaucoup trop lent dans	Jérôme Vouillon	1996-09-20	1	-45/+76
*	Ctype.init_def manquant pour typage des interfaces de classes.	Jérôme Vouillon	1996-09-20	1	-0/+1
*	open_hovbox remplace par open_box	Jérôme Vouillon	1996-08-13	1	-6/+6
*	Affichage de type recursif qui bouclait.	Jérôme Vouillon	1996-08-13	1	-3/+4
*	Typage plus strict de "SIG with ..."	Xavier Leroy	1996-07-25	5	-12/+38
*	Bug d'unification sous prefixe dans le typage des signatures.	Xavier Leroy	1996-07-18	1	-0/+1
*	Ident: ajout de Ident.iter.	Xavier Leroy	1996-07-15	7	-55/+52
*	Correction d'un bug (occur check qui bouclait parfois).	Jérôme Vouillon	1996-06-10	1	-2/+3
*	Methodes concretes representees par Set.t plutot que string list.	Jérôme Vouillon	1996-06-03	5	-15/+19
*	Bug : pas de verification du nombre de parametres de type lors de	Jérôme Vouillon	1996-05-31	1	-2/+5
*	Erreur dans la "location" de if...then...else	Xavier Leroy	1996-05-31	1	-2/+2
*	Comparaison de la longeur des listes avant de faire List.iter2.	Jérôme Vouillon	1996-05-31	1	-12/+9
*	Modification du calcul d'un sous-type pour (e :> t).	Jérôme Vouillon	1996-05-28	1	-24/+33
*	Amelioration de quelques messages d'erreur.	Jérôme Vouillon	1996-05-26	11	-99/+250
*	typecore: indentation...	Xavier Leroy	1996-05-22	3	-29/+49
*	Amelioration des messages d'erreurs d'unification (expansion des	Jérôme Vouillon	1996-05-20	9	-213/+303
*	Nettoyage : Label.t remplace par string.	Jérôme Vouillon	1996-05-16	9	-78/+67
*	Printtyp: simplifications.	Xavier Leroy	1996-05-16	3	-90/+84
*	Correction de l'affichage des types de classes.	Jérôme Vouillon	1996-05-14	1	-33/+7
*	type_mutable et type_immutable ne sont plus utilises.	Jérôme Vouillon	1996-05-14	2	-11/+1
*	On peut maintenant masquer des variables d'instances dans les interfaces.	Jérôme Vouillon	1996-05-14	1	-11/+26
*	Il faut prendre des instances des types predefinis et non les utiliser	Jérôme Vouillon	1996-05-13	1	-24/+25
*	Utiliser des vbox au lieu de hvbox pour les classes.	Xavier Leroy	1996-05-07	1	-8/+8
*	Renommage en Objective Caml	Xavier Leroy	1996-04-30	38	-74/+74
*	Rendons a Cesar...	Xavier Leroy	1996-04-29	1	-1/+1
*	Modification de la syntaxe des classe.	Jérôme Vouillon	1996-04-25	1	-15/+6
*	Extension objets.	Jérôme Vouillon	1996-04-22	31	-487/+3682