README.html
changeset 4987 257aeccdefc3
parent 4980 a5b90f34a05c
child 5207 dd4f51adfff3
     1.1 --- a/README.html	Fri May 29 13:49:50 1998 +0200
     1.2 +++ b/README.html	Fri May 29 13:50:21 1998 +0200
     1.3 @@ -13,10 +13,10 @@
     1.4  
     1.5  <h2>Version information</h2>
     1.6  
     1.7 -This is an internal working version of Isabelle.  Compared to the
     1.8 -Isabelle94 line it introduces many new features, but also some
     1.9 -imcompatibilities.  See the <tt>NEWS</tt> file in the distribution for
    1.10 -more details.
    1.11 +This is the internal repository version of Isabelle.  Starting with
    1.12 +Isabelle98, the current line of Isabelle introduces many new features,
    1.13 +but also some imcompatibilities with Isabelle94.  See the
    1.14 +<tt>NEWS</tt> file in the distribution for more details.
    1.15  
    1.16  
    1.17  <h2>System requirements</h2>