diff -r 17e93676670b -r 30de372ca56f src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Sat Sep 21 16:08:17 2013 +0200
+++ b/src/Pure/Tools/main.scala	Sat Sep 21 16:44:31 2013 +0200
@@ -82,7 +82,7 @@
 
           if (!(settings_dir + Path.explode("perspective.xml")).is_file) {
             File.write(settings_dir + Path.explode("DockableWindowManager/perspective-view0.xml"),
-              """<DOCKING LEFT="" TOP="" RIGHT="" BOTTOM="isabelle-readme" LEFT_POS="0" TOP_POS="0" RIGHT_POS="250" BOTTOM_POS="250" />""")
+              """<DOCKING LEFT="" TOP="" RIGHT="isabelle-documentation" BOTTOM="" LEFT_POS="0" TOP_POS="0" RIGHT_POS="250" BOTTOM_POS="250" />""")
             File.write(settings_dir + Path.explode("perspective.xml"),
               """<?xml version="1.0" encoding="UTF-8" ?>
 <!DOCTYPE PERSPECTIVE SYSTEM "perspective.dtd">