summaryrefslogtreecommitdiff
path: root/toplevel/printval.mli
Commit message (Expand)AuthorAgeFilesLines
* Module Debugcom.Remote_value pour manipuler les valeurs dans le debugger.Jérôme Vouillon1997-03-221-1/+3
* Ajout de Types en plus de Typedtree.Xavier Leroy1996-09-231-1/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+10