Function: timedate () Returns a string representing the current time and date. The string has the format
HH:MM:SS Day, mm/dd/yyyy (GMT-n), where the fields are hours, minutes, seconds, day of week, month, day of month, year, and hours different from GMT.
(%i1) d: timedate (); (%o1) 08:05:09 Wed, 11/02/2005 (GMT-7) (%i2) print ("timedate reports current time", d)$ timedate reports current time 08:05:09 Wed, 11/02/2005 (GMT-7)
(%o1) true (%i2)