diff -r a3f26b19cd7e -r dd4f51adfff3 README.html
--- a/README.html	Tue Jul 28 16:36:32 1998 +0200
+++ b/README.html	Tue Jul 28 16:59:15 1998 +0200
@@ -15,7 +15,7 @@
 
 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
+but also some imcompatibilities with Isabelle94-XX.  See the
 <tt>NEWS</tt> file in the distribution for more details.