--- 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>