Added public files

Roughly added all public files. Probably missed some, though.
diff --git a/doc/props/P_HISTMIN b/doc/props/P_HISTMIN
new file mode 100644
index 0000000..e84d90c
--- /dev/null
+++ b/doc/props/P_HISTMIN
@@ -0,0 +1,8 @@
+NAME:
+    P_HISTMIN                     "histmin"                     
+
+DEFINIERT IN:
+    /sys/player.h
+
+BESCHREIBUNG:
+     Minimale Laenge, die eine Zeile haben muss, um in die History zu kommen