summaryrefslogtreecommitdiff
path: root/typing/printtyp.mli
Commit message (Expand)AuthorAgeFilesLines
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* fusion des changements 3.09.1 -> 3.09.2Damien Doligez2006-04-161-0/+1
* Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)Xavier Leroy2004-06-121-4/+4
* tools for debugging the type checkerJacques Garrigue2003-11-071-0/+1
* Regroupement des impressions "outcometree" dans un seul module oprint.ml.Daniel de Rauglaudre2002-02-131-4/+0
* detabisationDamien Doligez2002-01-201-1/+1
* Ajout de reset_names dans l'interfaceMaxence Guesdon2001-10-311-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