diff --git a/doc/internal.REMOVE_PRE_1.0/logs/2010-09-25 b/doc/dev/logs/2010-09-25
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/2010-09-25
rename to doc/dev/logs/2010-09-25
diff --git a/doc/internal.REMOVE_PRE_1.0/logs/2010-11-02.steven b/doc/dev/logs/2010-11-02.steven
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/2010-11-02.steven
rename to doc/dev/logs/2010-11-02.steven
diff --git a/doc/internal.REMOVE_PRE_1.0/logs/2010-11-09 b/doc/dev/logs/2010-11-09
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/2010-11-09
rename to doc/dev/logs/2010-11-09
diff --git a/doc/internal.REMOVE_PRE_1.0/logs/2010-11-21 b/doc/dev/logs/2010-11-21
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/2010-11-21
rename to doc/dev/logs/2010-11-21
diff --git a/doc/internal.REMOVE_PRE_1.0/logs/2010-11-29 b/doc/dev/logs/2010-11-29
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/2010-11-29
rename to doc/dev/logs/2010-11-29
diff --git a/doc/internal.REMOVE_PRE_1.0/logs/2010-12-01 b/doc/dev/logs/2010-12-01
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/2010-12-01
rename to doc/dev/logs/2010-12-01
diff --git a/doc/internal.REMOVE_PRE_1.0/logs/2011-01-17 b/doc/dev/logs/2011-01-17
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/2011-01-17
rename to doc/dev/logs/2011-01-17
diff --git a/doc/internal.REMOVE_PRE_1.0/logs/2011-01-18.type-creation b/doc/dev/logs/2011-01-18.type-creation
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/2011-01-18.type-creation
rename to doc/dev/logs/2011-01-18.type-creation
diff --git a/doc/internal.REMOVE_PRE_1.0/logs/2011-01-24 b/doc/dev/logs/2011-01-24
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/2011-01-24
rename to doc/dev/logs/2011-01-24
diff --git a/doc/internal.REMOVE_PRE_1.0/logs/2011-02-03 b/doc/dev/logs/2011-02-03
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/2011-02-03
rename to doc/dev/logs/2011-02-03
diff --git a/doc/dev/logs/README b/doc/dev/logs/README
new file mode 100644
index 00000000..15c6bf9f
--- /dev/null
+++ b/doc/dev/logs/README
@@ -0,0 +1 @@
+Logfiles of discussions
diff --git a/doc/internal.REMOVE_PRE_1.0/logs/stevens_ideas b/doc/dev/logs/stevens_ideas
similarity index 100%
rename from doc/internal.REMOVE_PRE_1.0/logs/stevens_ideas
rename to doc/dev/logs/stevens_ideas