diff -r 8b94f31a3022 -r a5b90f34a05c README.html
--- a/README.html	Thu May 28 12:22:37 1998 +0200
+++ b/README.html	Thu May 28 12:23:11 1998 +0200
@@ -13,8 +13,8 @@
 
 <h2>Version information</h2>
 
-This is <strong>Isabelle98</strong> as of January 1998.  Compared to
-the Isabelle94 line it introduces many new features, but also some
+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.