diff -r 3676def6b8b9 -r 7b37aa726d2d Admin/page/Contents
--- a/Admin/page/Contents	Fri Mar 26 19:58:43 2004 +0100
+++ b/Admin/page/Contents	Mon Mar 29 08:54:26 2004 +0200
@@ -1,1 +1,2 @@
-dummy	Dummy Isabelle documentation entry
+Dummy Heading
+  dummy	Dummy Isabelle documentation entry