Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/strftime b/doc/efun/strftime
new file mode 100644
index 0000000..c167afb
--- /dev/null
+++ b/doc/efun/strftime
@@ -0,0 +1,112 @@
+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.
+ 0: Ausgabe im klassischen "C" locale (english)
+ 1: Ausgabe in Landessprache des Mudrechners.
+
+BEMERKUNGEN:
+ Der zurueckgebene Ergebnisstring ist max. 511 Zeichen lang.
+
+PLATZHALTER:
+ Diese Funktion versteht alle Platzhalter, die die Funktion strftime() aus
+ der C-Standardbibliothek versteht. Momentan sind dies:
+ %a Der abgekuerzte Wochentag abhaengig von der momentanen Locale.
+ %A Der gesamte Wochentag abhaengig von der momentanen Locale.
+ %b Der abgekuerzte Monatsname abhaengig von der momentanen Locale.
+ %B Der volle Monatsname abhaengig von der momentanen Locale.
+ %c Das bevorzugte Datums- und Uhrzeit-Repraesentation laut Einstel-
+ lungen der momentanen Locale.
+ %C Das Jahrhundert als zweistellige Zahl.
+ %d Der Tag im Monat als Dezimalzahl (01 - 31).
+ %D Aequivalent zu %m/%d/%y. (US-amerikanisches Format. In anderen
+ Laendern ist %d/%m/%y durchaus ueblich . In internationalem Kon-
+ text ist dieses Format daher mehrdeutig und sollte nicht verwen-
+ det werden.)
+ %e Wie %d, der Tag im Monat als Dezimalzahl, aber eine fuehrende
+ Null ist durch ein Leerzeichen ersetzt.
+ %E Modifikator: Alternatives Format benutzen, s.u.
+ %g Wie %G, aber ohne das Jahrhundert, also mit zweistelligem Jahr
+ (00-99).
+ %G Das Jahr laut ISO 8601 mit dem Jahrhundert als Dezimalzahl. Das
+ vierstellige Jahr, das zu ISO-Wochennummer (siehe %V) passt. Es
+ hat dasselbe Format und denselben Wert wie %y, nur dass, wenn
+ die ISO-Wochennummer zum vorhergehenden oder naechsten Jahr
+ gehoert, dieses Jahr stattdessen benutzt wird.
+ %h Aequivalent zu %b.
+ %H Die Stunde im 24h-Format als Ganzzahl (00 - 23).
+ %I Die Stunde im 12h-Format als Ganzzahl (01 - 12).
+ %j Der Tag im Jahr als Ganzzahl (001 - 366).
+ %k Die Stunde im 24h-Format als Ganzzahl (0 - 23); einzelne Ziffern
+ haben ein vorangestelltes Leerzeichen. (Siehe %H.)
+ %l Die Stunde im 12h-Format als Ganzzahl (0 - 12); einzelne Ziffern
+ haben ein vorangestelltes Leerzeichen. (Siehe %I.)
+ %m Der Monat als Ganzzahl (01 - 12).
+ %M Die Minute als Ganzzahl (00 - 59).
+ %n Ein Zeilenvorschub.
+ %p Entweder 'AM' oder 'PM', je nach der uebergebenen Uhrzeit, oder
+ die zugehoerigen Zeichenketten in der momentanen Locale. Mittag
+ erhaelt 'PM', Mitternacht 'AM'.
+ %P Wie %p, aber in Kleinbuchstaben.
+ %r Zeit in AM/PM-Notation; in der POSIX-Locale ist das Aequivalent
+ zu '%I:%M:%S %p'.
+ %R Zeit in 24h-Notation (%H:%M). (SU) Fuer eine Version mit Sekunden
+ siehe %T.
+ %s Die Zahl der Sekunden seit der Epoche, also seit 1970-01-01
+ 00:00:00 UTC.
+ %S Die Sekunde als Ganzzahl (00 - 61).
+ %t Ein Tabulatorzeichen.
+ %T Zeit in 24h-Notation (%H:%M:%S).
+ %u Der Tag der Woche als Zahl von 1 bis 7, mit Montag als 1. Siehe
+ auch %w.
+ %U Die Wochennummer des aktuellen Jahres als Ganzzahl von 00 bis
+ 53, beginnend mit dem ersten Sonntag als erster Tag der ersten
+ Woche. Siehe auch %V und %W.
+ %V Die Wochennummer nach ISO 8601:1988 als Dezimalzahl von 01 bis
+ 53, wobei Woche 1 die erste Woche ist, die wenigstens 4 Tage im
+ laufenden Jahr hat, mit Montag als dem ersten Tag der Woche.
+ Siehe auch %U und %W.
+ %w Der Tag der Woche als Zahl von 0 bis 6, mit Sonntag als 0.
+ Siehe auch %u.
+ %W Die Wochennummer des aktuellen Jahres als Ganzzahl von 00 bis
+ 53, beginnend mit dem ersten Montag als erster Tag der ersten
+ Woche.
+ %x Die bevorzugte Datums-Repraesentation ohne die Zeit in der momen-
+ tanen Locale.
+ %X Die bevorzugte Uhrzeit-Repraesentation ohne das Datum in der
+ momentanen Locale.
+ %y Das Jahr als Ganzzahl ohne das Jahrhundert (00 - 99).
+ %Y Das Jahr als Ganzzahl mit dem Jahrhundert.
+ %z Die Zeitzone als Stundendifferenz zu GMT. Benoetigt, um
+ RFC822-konforme Datumsangaben zu erhalten (mit '%a, %d %b %Y
+ %H:%M:%S %z').
+ %Z Die Zeitzone oder der Name oder die Abkuerzung.
+ %+ Datum und Zeit im Format von date(1).
+ %% Das Zeichen '%'.
+
+BEISPIEL
+ write(strftime("Heute ist %A, der %d. %B %Y.\n"))
+ ergibt z.B.
+ "Heute ist Montag, der 24. September 2007.\n"
+
+SIEHE AUCH
+ ctime(E), gmtime(E), localtime(E), mktime(E), time(E), utime(E)