Browse thread
Print values like the toplevel's printer
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2004-11-05 (12:13) |
From: | Wolfgang Müller <Wolfgang.Mueller2@u...> |
Subject: | Print values like the toplevel's printer |
Hi, I would like to print values to a file in a human-readable manner without having to compose the output writers of print_int and friends. In short, I would like to use the toplevel's function for screen output of structured values. Is there a simple way, a FM or a mailing list you can point me to? I googled quite a bit, but apparently not with the right terms. Cheers, Wolfgang -- Dr. Wolfgang Müller LS AI 1 Universität Bayreuth