diff -r d4f257d3445a -r 257aeccdefc3 README.html
--- a/README.html	Fri May 29 13:49:50 1998 +0200
+++ b/README.html	Fri May 29 13:50:21 1998 +0200
@@ -13,10 +13,10 @@
 
 <h2>Version information</h2>
 
-This is an internal working version of Isabelle.  Compared to the
-Isabelle94 line it introduces many new features, but also some
-imcompatibilities.  See the <tt>NEWS</tt> file in the distribution for
-more details.
+This is the internal repository version of Isabelle.  Starting with
+Isabelle98, the current line of Isabelle introduces many new features,
+but also some imcompatibilities with Isabelle94.  See the
+<tt>NEWS</tt> file in the distribution for more details.
 
 
 <h2>System requirements</h2>