# HG changeset patch
# User wenzelm
# Date 969281398 -7200
# Node ID 7600cd36ec61683b2ce13619af15902b46a8260e
# Parent  e146bbfc38c1bb648e0f80116a2df988a27ec8da
tuned;

diff -r e146bbfc38c1 -r 7600cd36ec61 Admin/page/dist-content/docs.content
--- 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") -->