--- a/Admin/page/Contents Sun Sep 17 13:51:37 2000 +0200 +++ b/Admin/page/Contents Sun Sep 17 22:15:08 2000 +0200 @@ -1,1 +1,1 @@ -dummy Dummy Isabelle documentation entry. +dummy Dummy Isabelle documentation entry