# HG changeset patch
# User wenzelm
# Date 896350991 -7200
# Node ID a5b90f34a05c005a9efda568babb57dbc982d608
# Parent  8b94f31a3022c77994e8716b82943e34d46fb209
version under control of Admin/makedist;

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.