Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/ctime b/doc/efun/ctime
new file mode 100644
index 0000000..8db61f8
--- /dev/null
+++ b/doc/efun/ctime
@@ -0,0 +1,22 @@
+SYNOPSIS
+ string ctime(int clock);
+ string ctime(int* uclock);
+
+BESCHREIBUNG
+ Interpretiert das Argument <clock> als Anzahl Sekunden seit dem
+ 01.JAN.1970, 00:00 Uhr und konvertiert dieses in einen ansehnlichen
+ String, der Datum und Zeit enthaelt. Wenn <clock> nicht angegeben
+ wird, wird time() verwendet.
+
+ Die zweite Form entspricht der ersten, ausser dass das Argument ein
+ Array mit zwei Integer Elementen ist. Das erste Element int[0] gibt
+ die Anzahl Sekunden seit dem 01.JAN.1970 an, das zweite Element
+ int[1] die Anzahl Millisekunden innerhalb dieser Sekunde.
+
+BEISPIEL
+ write(ctime()+"\n");
+
+ Dies gibt etwas aus wie "Sun Oct 26 19:28:30 2003".
+
+SIEHE AUCH
+ dtime(E), gmtime(E), localtime(E), strftime(E), time(E), utime(E)