dgd/
dgd/doc/net/
dgd/src/host/unix/
dgd/src/host/win32/res/
dgd/src/lpc/
dgd/src/parser/
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