README.html
changeset 6486 1f1d5e00e0a5
parent 6125 59507030d953
child 7483 5ce623228ef2
     1.1 --- a/README.html	Thu Apr 22 15:03:50 1999 +0200
     1.2 +++ b/README.html	Thu Apr 22 15:16:59 1999 +0200
     1.3 @@ -13,10 +13,10 @@
     1.4  
     1.5  <h2>Version information</h2>
     1.6  
     1.7 -This is the internal repository version of Isabelle.  Starting with
     1.8 -Isabelle98, the current line of Isabelle development introduces many
     1.9 -new features, but also some incompatibilities with Isabelle94-XX.  See
    1.10 -the <tt>NEWS</tt> file in the distribution for more details.
    1.11 +This is the internal repository version of Isabelle.  The current line
    1.12 +of Isabelle99 development introduces many new features, with only a
    1.13 +few incompatibilities over Isabelle98-X.  See the <tt>NEWS</tt> file
    1.14 +in the distribution for more details.
    1.15  
    1.16  
    1.17  <h2>System requirements</h2>
    1.18 @@ -24,8 +24,8 @@
    1.19  Isabelle requires a real Unix box with sufficient resources. Fun
    1.20  starts at about 32-64 MB of main memory (somewhat depending on your ML
    1.21  system), with several tens of MB disk space and a decent CPU.
    1.22 -Speaking by today's hardware standards, even a rather low-end Linux
    1.23 -box should make a nice platform for Isabelle.
    1.24 +Speaking by today's hardware standards, any moderate Linux box should
    1.25 +make a nice platform for Isabelle.
    1.26  
    1.27  <p>
    1.28  
    1.29 @@ -43,7 +43,7 @@
    1.30  The following ML system and platform combinations are known to work
    1.31  very well:
    1.32  <ul>
    1.33 -<li> SML/NJ 110.x on any Unix platform (e.g. Suns, Linux).
    1.34 +<li> SML/NJ 110.x on any Unix platform (e.g. Linux, Suns).
    1.35  <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
    1.36  problems with Linux and HP-UX, though.
    1.37  <li> Poly/ML versions 2.x and 3.1 on Suns.
    1.38 @@ -78,10 +78,11 @@
    1.39  
    1.40  <h2>Installation</h2>
    1.41  
    1.42 -See file <tt>INSTALL</tt> in the Isabelle sources on how to build the
    1.43 -system. Further background information may be found in the
    1.44 -<em>Isabelle System Manual</em>, distributed with the sources (see
    1.45 -directory <tt>doc</tt>).
    1.46 +Binary rpm packages are available for Isabelle/HOL and ZF on the
    1.47 +Linux/x86 platform.  Alternatively, the system may be built from
    1.48 +scratch as described in file <tt>INSTALL</tt> of the Isabelle sources.
    1.49 +Further background information may be found in the <em>Isabelle System
    1.50 +Manual</em>, distributed with the sources (directory <tt>doc</tt>).
    1.51  
    1.52  
    1.53  <h2>Interfaces</h2>