Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/strftime.en b/doc/efun/strftime.en
new file mode 100644
index 0000000..ca0aa65
--- /dev/null
+++ b/doc/efun/strftime.en
@@ -0,0 +1,122 @@
+SYNOPSIS
+ string strftime()
+ string strftime(string fmt)
+ string strftime(int clock)
+ string strftime(string fmt, int clock)
+ string strftime(string fmt, int clock, int localized)
+
+BESCHREIBUNG
+ Gibt, aehnliche wie ctime(), eine Zeit als formatierten String zurueck.
+ Hierbei kann ein String mit div. Platzhaltern vom Benutzer angegeben
+ werden (s.u.). Wird kein String angegeben, wird "%c" als Formatstring
+ benutzt.
+
+ Das Argument <clock> wird als Anzahl Sekunden seit dem 01.01.1970, 00:00
+ Uhr interpretiert. Wenn <clock> nicht angegeben wird, wird time()
+ verwendet.
+
+ Das Argument <localized> gibt an, ob die Ausgabe englisch (das sog.
+ klassische "C" locale) oder in der jeweiligen Landessprache (z.B.
+ deutsch) erfolgen soll. Hierbei haengt die Sprache allerdings von den auf
+ dem Mudrechner gesetzten Umgebungsvariablen LC_TIME oder LC_ALL ab, sie
+ kann nicht selber gewaehlt werden. Wird kein <localized> angegeben, wird
+ 1 verwendet, was einer Ausgabe in Landessprache entspricht.
+
+BEMERKUNGEN:
+ Der zurueckgebene Ergebnisstring ist max. 511 Zeichen lang.
+ Im MG erfolgt momentan immer eine englische Ausgabe.
+
+PLATZHALTER:
+ Diese Funktion versteht alle Platzhalter, die die Funktion strftime() aus
+ der C-Standardbibliothek versteht. Momentan sind dies:
+
+ %a
+ is replaced by the locale's abbreviated weekday name.
+ %A
+ is replaced by the locale's full weekday name.
+ %b
+ is replaced by the locale's abbreviated month name.
+ %B
+ is replaced by the locale's full month name.
+ %c
+ is replaced by the locale's appropriate date and time representation.
+ %C
+ is replaced by the century number (the year divided by 100 and
+ truncated to an integer) as a decimal number [00-99].
+ %d
+ is replaced by the day of the month as a decimal number [01,31].
+ %D
+ same as %m/%d/%y.
+ %e
+ is replaced by the day of the month as a decimal number [1,31]; a
+ single digit is preceded by a space.
+ %h
+ same as %b.
+ %H
+ is replaced by the hour (24-hour clock) as a decimal number
+ [00,23].
+ %I
+ is replaced by the hour (12-hour clock) as a decimal number
+ [01,12].
+ %j
+ is replaced by the day of the year as a decimal number
+ [001,366].
+ %m
+ is replaced by the month as a decimal number [01,12].
+ %M
+ is replaced by the minute as a decimal number [00,59].
+ %n
+ is replaced by a newline character.
+ %p
+ is replaced by the locale's equivalent of either a.m. or p.m.
+ %r
+ is replaced by the time in a.m. and p.m. notation; in the POSIX
+ locale this is equivalent to %I:%M:%S %p.
+ %R
+ is replaced by the time in 24 hour notation (%H:%M).
+ %S
+ is replaced by the second as a decimal number [00,61].
+ %t
+ is replaced by a tab character.
+ %T
+ is replaced by the time (%H:%M:%S).
+ %u
+ is replaced by the weekday as a decimal number [1,7], with 1
+ representing Monday.
+ %U
+ is replaced by the week number of the year (Sunday as the first day
+ of the week) as a decimal number [00,53].
+ %V
+ is replaced by the week number of the year (Monday as the first day
+ of the week) as a decimal number [01,53]. If the week containing 1
+ January has four or more days in the new year, then it is considered
+ week 1. Otherwise, it is the last week of the previous year, and the
+ next week is week 1.
+ %w
+ is replaced by the weekday as a decimal number [0,6], with 0
+ representing Sunday.
+ %W
+ is replaced by the week number of the year (Monday as the first day
+ of the week) as a decimal number [00,53]. All days in a new year
+ preceding the first Monday are considered to be in week 0.
+ %x
+ is replaced by the locale's appropriate date representation.
+ %X
+ is replaced by the locale's appropriate time representation.
+ %y
+ is replaced by the year without century as a decimal number [00,99].
+ %Y
+ is replaced by the year with century as a decimal number.
+ %Z
+ is replaced by the timezone name or abbreviation, or by no bytes if
+ no timezone information exists.
+ %%
+ is replaced by %.
+
+BEISPIEL
+ write(strftime("Heute ist %A, der %d. %B %Y.\n"))
+ ergibt z.B.
+ "Heute ist Montag, der 24. September 2007.\n"
+
+SIEHE AUCH
+ gmtime(E), localtime(E), mktime(), time(E), utime(E)