STRINGDTL : UTILITY

STRINGDTL is an utility.
(STRINGDTL) prints out a newline followed by the date and time to
the current output stream (usually the terminal), and then returns NIL.
(STRINGDTL stream) directs the output to some other stream, and
(STRINGDTL nil) prints nothing and returns a string containing a newline
followed by the date and time.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage