summaryrefslogtreecommitdiff
path: root/tools/dumpapprox.ml
Commit message (Expand)AuthorAgeFilesLines
* Prettier printing of approximationsXavier Leroy2003-03-061-1/+1
* Afficher le champ ui_definesXavier Leroy2002-07-221-0/+3
* Bug de formattageXavier Leroy2001-12-031-1/+1
* bugfix de XavierDamien Doligez2000-04-141-2/+4
* Rectification d'un formatXavier Leroy2000-02-281-1/+1
* Révision de l'impression à l'aide de format: utilisation de printfPierre Weis2000-02-081-45/+23
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout de Value_integer(n) dans les approximations .cmxXavier Leroy1998-04-301-1/+2
* Ajout de l'inliningXavier Leroy1997-02-161-3/+6
* Changement des boi^tes de pretty-printPierre Weis1997-02-041-6/+6
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* MAJ.Xavier Leroy1995-11-061-12/+23
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Affichage des CRC.Xavier Leroy1995-07-131-8/+9
* Introduction de dumpapprox pour imprimer les infos d'un .cmx.Xavier Leroy1995-07-021-0/+87