Return the current data and time as a string
String_Type time ()
This function returns the current time as a string of the form:
Sun Apr 21 13:34:17 1996
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}