Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/props/P_LAST_COMMAND_ENV b/doc/props/P_LAST_COMMAND_ENV
new file mode 100644
index 0000000..576e34d
--- /dev/null
+++ b/doc/props/P_LAST_COMMAND_ENV
@@ -0,0 +1,15 @@
+P_LAST_COMMAND_ENV
+NAME:
+ P_LAST_COMMAND_ENV "last_command_env"
+
+DEFINIERT IN:
+ /sys/player.h
+
+BESCHREIBUNG:
+ Der Raum, in dem das letzte Kommando eingegeben wurde.
+
+BEMERKUNGEN:
+ Keine echte Property, _query_last_command_env() ist
+ in /std/players/command.c implementiert.
+
+14.Feb.2004 Gloinson