v1.2p4 - kfun - ctime

NAME

ctime - convert a time integer into a string

SYNOPSIS

string ctime(int time)

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

kfun/millitime, kfun/time