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

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage