diff -r 4a3cd038aff8 -r 947b7b8b0a69 Admin/page/dist-content/docs.content
--- a/Admin/page/dist-content/docs.content	Fri Oct 06 15:15:19 2000 +0200
+++ b/Admin/page/dist-content/docs.content	Fri Oct 06 16:11:53 2000 +0200
@@ -4,15 +4,25 @@
 %body%
 <!-- _GP_ distname --> documentation is included here as browsable PDF
 for convenience.  These documents are also part of the standard
-Isabelle distribution.
+Isabelle distribution.  For getting started with Isabelle quickly, we
+recommend the <a href="tutorial.pdf">Tutorial on Isabelle/HOL</a>.
 
 <!-- _GP_ include("$pwd/docu-contents.dist") -->
 
-The following text files of the Isabelle distribution may be also of
-some interest:
+The Isabelle distribution also includes a few text files with further
+information about the present release and additional installation
+instructions.
 <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>
+
+<p>
+
+Use the mailing list <a href="mailto:
+isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a> and its
+<a href="ftp://ftp.cl.cam.ac.uk/ml/index.html">archive</a> to discuss
+problems and results.  Why not <a
+href="mailto:lcp@cl.cam.ac.uk">subscribe</a>?