REDUCE

16.4 Miscellaneous Functions

(reset): Undefined expr
Return to the top level of PSL, unwind-protect forms get a chance to run.

(time): integer expr
CPU time in milliseconds since login time.

(date): string expr
The date in the form ”day-month-year”
    1 lisp> (date)  
    "21-Jan-1997"

(date-and-time): string expr
A string is returned which describes the date, followed by the time. The string is of the form
”day-month-year hours:minutes:seconds”
    1 lisp> (date-and-time)  
    "21-Jan-1997 17:04:14"