Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/props/P_IDS b/doc/props/P_IDS
new file mode 100644
index 0000000..311407b
--- /dev/null
+++ b/doc/props/P_IDS
@@ -0,0 +1,25 @@
+P_IDS
+
+NAME:
+ P_IDS "ids"
+
+DEFINIERT IN:
+ <thing/description.h>
+
+BESCHREIBUNG:
+ In dieser Property steht ein Array von den Strings, mit denen sich das
+ Objekt ansprechen laesst. Die Verwaltung dieser Property erfolgt ueber
+ die Funktionen AddId() und RemoveId().
+
+ Der Inhalt dieser Property wird von den Funktionen id() und (indirekt)
+ present() ausgewertet.
+
+BEMERKUNGEN:
+ Man sollte an dieser Property nicht "von Hand" herumfummeln, sondern
+ immer die zugehoerigen Funktionen benutzen!
+
+SIEHE AUCH:
+ /std/thing/description.c, AddId(), RemoveId()
+
+----------------------------------------------------------------------------
+Last modified: Sun May 19 20:17:36 1996 by Wargon