--- a/Admin/page/dist-content/docs.content Mon Sep 18 14:10:31 2000 +0200
+++ b/Admin/page/dist-content/docs.content Mon Sep 18 14:35:54 2000 +0200
@@ -7,3 +7,12 @@
Isabelle distribution.
<!-- _GP_ include("$pwd/docu-contents.dist") -->
+
+The following text files of the Isabelle distribution may be of some
+interest:
+<ul>
+<li> <!-- _GP_ href(distname . "/ANNOUNCE", "ANNOUNCE") -->
+<li> <!-- _GP_ href(distname . "/README.html", "README") -->
+<li> <!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
+<li> <!-- _GP_ href(distname . "/NEWS", "NEWS") -->
+</ul>