tuned;
authorwenzelm
Fri May 29 13:50:21 1998 +0200 (1998-05-29)
changeset 4987257aeccdefc3
parent 4986 d4f257d3445a
child 4988 8f4dc836a2ea
tuned;
README.html
     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>