ctime

NAME

ctime - convert a time integer into a string

SYNOPSIS

string ctime(int clock)

DESCRIPTION

Convert the specified time, which is an integer such as is returned by the kfun time(), into a string of the form "Tue Aug 3 14:40:18 1993".

SEE ALSO

time

HTMLised 1998 Greg Lewis (glewis@maths.adelaide.edu.au)