summaryrefslogtreecommitdiff
path: root/typing/printtyp.mli
Commit message (Expand)AuthorAgeFilesLines
* Merge ocmal 4.00 r12217 -> r12778Luc Maranget2012-08-231-7/+15
* ocaml/trunk merged 11009 -> 12212Luc Maranget2012-08-101-1/+1
* merge 310betaLuc Maranget2007-03-231-0/+1
* merge with ocaml 3.08.3Pierre Habouzit2005-05-041-4/+4
* jocaml merged with ocaml: before-merge-lucLuc Maranget2004-05-271-5/+2
* Merged the differences between ocaml303alpha and ocaml304 into jocamltrunk.Gilles Peskine2002-01-161-0/+1
* Ajout d'une fonction type_cheme_max utilisée pour ocamldoc. Elle est suscept...Maxence Guesdon2001-10-011-0/+4
* -Daniel de Rauglaudre2001-08-151-0/+1
* corrige bug PR#449Jacques Garrigue2001-08-081-0/+3
* Un peu de nettoyage de code + ajout personnalisation des "phrases" toplevelDaniel de Rauglaudre2001-08-071-4/+12
* Ajouté personalisation de l'affichage des items de signature dans le toplevelDaniel de Rauglaudre2001-08-061-2/+3
* Personalisation de l'affichage des valeurs et des types dans le toplevel.Daniel de Rauglaudre2001-08-041-0/+3
* Revu les impressions du compilateurPierre Weis2000-03-061-20/+27
* Merge olabl branchJacques Garrigue1999-11-301-0/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout du warning de la séquence et pilotage des warnings par l'utilisateur.Pierre Weis1998-11-051-1/+1
* Bug d'affichage des erreurs d'unificationJérôme Vouillon1998-08-151-1/+2
* Nouvelle syntaxe des classesJérôme Vouillon1998-06-241-1/+3
* Decoupage du module Typedtree en deux: Types et Typedtree.Xavier Leroy1996-09-231-1/+1
* Amelioration de quelques messages d'erreur.Jérôme Vouillon1996-05-261-0/+2
* Amelioration des messages d'erreurs d'unification (expansion desJérôme Vouillon1996-05-201-0/+3
* Printtyp: simplifications.Xavier Leroy1996-05-161-1/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Extension objets.Jérôme Vouillon1996-04-221-1/+3
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+17
View Lorry Controller Status