Admin/page/dist-content/source.content

--- a/Admin/page/dist-content/source.content	Tue Sep 12 15:43:15 2000 +0200
+++ b/Admin/page/dist-content/source.content	Tue Sep 12 17:01:14 2000 +0200
@@ -21,7 +21,8 @@
 
 Please see the Isabelle <!-- _GP_ href(distname . "/README.html",
 "README") --> and <!-- _GP_ href(distname . "/INSTALL", "INSTALL") -->
-files for more information.
+files for more information.  See the <!-- _GP_ href(distname
+. "/NEWS", "NEWS") --> file for a history user-relevant changes.
 
 <p>