date_of — is obsolete, see date
date_of (seconds)
This function has been superceded by date. It returns a character string which represents the given date and time in human-readable form. This form depends on the operating system, but will look like "Fri Feb 16 21:50:32 1973" on most UNIX systems.
Copyright © 1995-2010 by Cogent Real-Time Systems, Inc. All rights reserved.