file_date
file_date — gives the file modification date.
file_date (filename)
filenameA filename as defined by the operating system.
The modification date of the file as an integer if the file exists and is
readable, else nil.
Gamma>fd =(file_date("myfile.dat"));936977583Gamma>date_of(fd);"Fri Sep 10 11:33:03 1999"Gamma>file_date("nonexistent.file");nilGamma>file_date("unreadable.file");nilGamma>