README.html
changeset 5207 dd4f51adfff3
parent 4987 257aeccdefc3
child 5401 79d3b232d859
     1.1 --- a/README.html	Tue Jul 28 16:36:32 1998 +0200
     1.2 +++ b/README.html	Tue Jul 28 16:59:15 1998 +0200
     1.3 @@ -15,7 +15,7 @@
     1.4  
     1.5  This is the internal repository version of Isabelle.  Starting with
     1.6  Isabelle98, the current line of Isabelle introduces many new features,
     1.7 -but also some imcompatibilities with Isabelle94.  See the
     1.8 +but also some imcompatibilities with Isabelle94-XX.  See the
     1.9  <tt>NEWS</tt> file in the distribution for more details.
    1.10  
    1.11