--- a/Admin/page/dist-content/docs.content Mon Sep 18 14:49:51 2000 +0200
+++ b/Admin/page/dist-content/docs.content Mon Sep 18 14:49:58 2000 +0200
@@ -8,8 +8,8 @@
<!-- _GP_ include("$pwd/docu-contents.dist") -->
-The following text files of the Isabelle distribution may be of some
-interest:
+The following text files of the Isabelle distribution may be also of
+some interest:
<ul>
<li> <!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
<li> <!-- _GP_ href(distname . "/README.html", "README") -->