summaryrefslogtreecommitdiff
path: root/toplevel/trace.ml
Commit message (Expand)AuthorAgeFilesLines
* enforce uniqueness of typing in label modeJacques Garrigue2001-04-191-2/+2
* Petite simplification dans instrument_closureXavier Leroy2001-02-131-3/+4
* Tracage d'une fonction utilisee par le toplevel (PR#283)Jacques Garrigue2001-02-121-30/+50
* Re-faire marcher la trace (PR#213)Xavier Leroy2000-11-071-1/+0
* Meilleure impression des exceptionsXavier Leroy2000-03-251-4/+4
* Revu les impressions du compilateurPierre Weis2000-03-061-42/+30
* detabisationDamien Doligez2000-01-071-2/+2
* Merge olabl branchJacques Garrigue1999-11-301-2/+10
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ...Xavier Leroy1999-11-081-1/+1
* MAJ de la trace vis-a-vis du nouveau format de fermeturesXavier Leroy1998-09-071-39/+69
* Ctype.expand_root renomme en Ctype.expand_headJérôme Vouillon1997-03-071-1/+1
* Changement des boi^tes de pretty-printPierre Weis1997-02-041-3/+3
* Ajout de Types en plus de Typedtree.Xavier Leroy1996-09-231-1/+1
* Expanser les abreviations dans le type d'une fonction tracee (au casXavier Leroy1996-09-101-3/+3
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Detecter le cas ou l'on trace deux fois la meme fonction sous divers noms.Xavier Leroy1996-04-291-3/+3
* Extension objets.Jérôme Vouillon1996-04-221-4/+4
* Erreur si une fonction est tracee plusieurs fois.Xavier Leroy1995-10-171-0/+8
* Reecriture de la trace pour s'adapter aux fermetures de taille variable.Xavier Leroy1995-09-141-0/+89
View Lorry Controller Status