Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/page/dist-content/source.content
changeset 10006 ede5f78b9398
parent 9934 aea053733eb0 
--- 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>
isabelle