Fri, 29 May 1998 13:50:21 +0200
changeset 4987 257aeccdefc3
parent 4986 d4f257d3445a
child 4988 8f4dc836a2ea
--- 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>