version under control of Admin/makedist;
authorwenzelm
Thu May 28 12:23:11 1998 +0200 (1998-05-28)
changeset 4980a5b90f34a05c
parent 4979 8b94f31a3022
child 4981 9703ba0e9122
version under control of Admin/makedist;
README.html
     1.1 --- a/README.html	Thu May 28 12:22:37 1998 +0200
     1.2 +++ b/README.html	Thu May 28 12:23:11 1998 +0200
     1.3 @@ -13,8 +13,8 @@
     1.4  
     1.5  <h2>Version information</h2>
     1.6  
     1.7 -This is <strong>Isabelle98</strong> as of January 1998.  Compared to
     1.8 -the Isabelle94 line it introduces many new features, but also some
     1.9 +This is an internal working version of Isabelle.  Compared to the
    1.10 +Isabelle94 line it introduces many new features, but also some
    1.11  imcompatibilities.  See the <tt>NEWS</tt> file in the distribution for
    1.12  more details.
    1.13