diff -r 8cd7ef5b8f9d -r ede5f78b9398 Admin/page/dist-content/source.content
--- a/Admin/page/dist-content/source.content	Sun Sep 17 13:51:37 2000 +0200
+++ b/Admin/page/dist-content/source.content	Sun Sep 17 22:15:08 2000 +0200
@@ -2,7 +2,9 @@
 Isabelle Source Distribution
 
 %body%
-This is the complete source distribution of <!-- _GP_ distname -->.
+This is the pure source distribution of <!-- _GP_ distname -->.  Note
+that the <a href="binary.html">binary distribution</a> includes all
+Isabelle sources as well.
 
 <p>
 
@@ -19,10 +21,10 @@
 
 <p>
 
-Please see the Isabelle <!-- _GP_ href(distname . "/README.html",
-"README") --> and <!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
-files for more information.  See the <!-- _GP_ href(distname
-. "/NEWS", "NEWS") --> file for a history user-relevant changes.
+See the Isabelle <!-- _GP_ href(distname . "/README.html", "README")
+--> and <!-- _GP_ href(distname . "/INSTALL", "INSTALL") --> files for
+more information.  See the <!-- _GP_ href(distname . "/NEWS", "NEWS")
+--> file for a history user-relevant changes.
 
 <p>