tuned;
authorwenzelm
Thu Apr 22 15:16:59 1999 +0200 (1999-04-22)
changeset 64861f1d5e00e0a5
parent 6485 0d334465f29a
child 6487 453901eb3412
tuned;
INSTALL
README.html
     1.1 --- a/INSTALL	Thu Apr 22 15:03:50 1999 +0200
     1.2 +++ b/INSTALL	Thu Apr 22 15:16:59 1999 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  
     1.5 -Isabelle installation notes
     1.6 -===========================
     1.7 +Isabelle compilation and installation notes
     1.8 +===========================================
     1.9  
    1.10  Unpacking the archive
    1.11  ---------------------
     2.1 --- a/README.html	Thu Apr 22 15:03:50 1999 +0200
     2.2 +++ b/README.html	Thu Apr 22 15:16:59 1999 +0200
     2.3 @@ -13,10 +13,10 @@
     2.4  
     2.5  <h2>Version information</h2>
     2.6  
     2.7 -This is the internal repository version of Isabelle.  Starting with
     2.8 -Isabelle98, the current line of Isabelle development introduces many
     2.9 -new features, but also some incompatibilities with Isabelle94-XX.  See
    2.10 -the <tt>NEWS</tt> file in the distribution for more details.
    2.11 +This is the internal repository version of Isabelle.  The current line
    2.12 +of Isabelle99 development introduces many new features, with only a
    2.13 +few incompatibilities over Isabelle98-X.  See the <tt>NEWS</tt> file
    2.14 +in the distribution for more details.
    2.15  
    2.16  
    2.17  <h2>System requirements</h2>
    2.18 @@ -24,8 +24,8 @@
    2.19  Isabelle requires a real Unix box with sufficient resources. Fun
    2.20  starts at about 32-64 MB of main memory (somewhat depending on your ML
    2.21  system), with several tens of MB disk space and a decent CPU.
    2.22 -Speaking by today's hardware standards, even a rather low-end Linux
    2.23 -box should make a nice platform for Isabelle.
    2.24 +Speaking by today's hardware standards, any moderate Linux box should
    2.25 +make a nice platform for Isabelle.
    2.26  
    2.27  <p>
    2.28  
    2.29 @@ -43,7 +43,7 @@
    2.30  The following ML system and platform combinations are known to work
    2.31  very well:
    2.32  <ul>
    2.33 -<li> SML/NJ 110.x on any Unix platform (e.g. Suns, Linux).
    2.34 +<li> SML/NJ 110.x on any Unix platform (e.g. Linux, Suns).
    2.35  <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
    2.36  problems with Linux and HP-UX, though.
    2.37  <li> Poly/ML versions 2.x and 3.1 on Suns.
    2.38 @@ -78,10 +78,11 @@
    2.39  
    2.40  <h2>Installation</h2>
    2.41  
    2.42 -See file <tt>INSTALL</tt> in the Isabelle sources on how to build the
    2.43 -system. Further background information may be found in the
    2.44 -<em>Isabelle System Manual</em>, distributed with the sources (see
    2.45 -directory <tt>doc</tt>).
    2.46 +Binary rpm packages are available for Isabelle/HOL and ZF on the
    2.47 +Linux/x86 platform.  Alternatively, the system may be built from
    2.48 +scratch as described in file <tt>INSTALL</tt> of the Isabelle sources.
    2.49 +Further background information may be found in the <em>Isabelle System
    2.50 +Manual</em>, distributed with the sources (directory <tt>doc</tt>).
    2.51  
    2.52  
    2.53  <h2>Interfaces</h2>