| Did you know ... | Search Documentation: |
| date<-string |
ctime().
It's format is:
_Mon Sep 14 17:23:18 1992_
See also date<-rfc_string
and date<-xml_string
for conversion to other popular representations.
Bugs: There is no way to manipulate the printed representations of a date apart from redefining this method from scratch.
<-print_name <-date