# HG changeset patch
# User wenzelm
# Date 924787019 -7200
# Node ID 1f1d5e00e0a54bf3c7ddb18292c2550893c97434
# Parent  0d334465f29a4804438893fcfd77fd04ad33e56a
tuned;

diff -r 0d334465f29a -r 1f1d5e00e0a5 INSTALL
--- a/INSTALL	Thu Apr 22 15:03:50 1999 +0200
+++ b/INSTALL	Thu Apr 22 15:16:59 1999 +0200
@@ -1,6 +1,6 @@
 
-Isabelle installation notes
-===========================
+Isabelle compilation and installation notes
+===========================================
 
 Unpacking the archive
 ---------------------
diff -r 0d334465f29a -r 1f1d5e00e0a5 README.html
--- a/README.html	Thu Apr 22 15:03:50 1999 +0200
+++ b/README.html	Thu Apr 22 15:16:59 1999 +0200
@@ -13,10 +13,10 @@
 
 <h2>Version information</h2>
 
-This is the internal repository version of Isabelle.  Starting with
-Isabelle98, the current line of Isabelle development introduces many
-new features, but also some incompatibilities with Isabelle94-XX.  See
-the <tt>NEWS</tt> file in the distribution for more details.
+This is the internal repository version of Isabelle.  The current line
+of Isabelle99 development introduces many new features, with only a
+few incompatibilities over Isabelle98-X.  See the <tt>NEWS</tt> file
+in the distribution for more details.
 
 
 <h2>System requirements</h2>
@@ -24,8 +24,8 @@
 Isabelle requires a real Unix box with sufficient resources. Fun
 starts at about 32-64 MB of main memory (somewhat depending on your ML
 system), with several tens of MB disk space and a decent CPU.
-Speaking by today's hardware standards, even a rather low-end Linux
-box should make a nice platform for Isabelle.
+Speaking by today's hardware standards, any moderate Linux box should
+make a nice platform for Isabelle.
 
 <p>
 
@@ -43,7 +43,7 @@
 The following ML system and platform combinations are known to work
 very well:
 <ul>
-<li> SML/NJ 110.x on any Unix platform (e.g. Suns, Linux).
+<li> SML/NJ 110.x on any Unix platform (e.g. Linux, Suns).
 <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
 problems with Linux and HP-UX, though.
 <li> Poly/ML versions 2.x and 3.1 on Suns.
@@ -78,10 +78,11 @@
 
 <h2>Installation</h2>
 
-See file <tt>INSTALL</tt> in the Isabelle sources on how to build the
-system. Further background information may be found in the
-<em>Isabelle System Manual</em>, distributed with the sources (see
-directory <tt>doc</tt>).
+Binary rpm packages are available for Isabelle/HOL and ZF on the
+Linux/x86 platform.  Alternatively, the system may be built from
+scratch as described in file <tt>INSTALL</tt> of the Isabelle sources.
+Further background information may be found in the <em>Isabelle System
+Manual</em>, distributed with the sources (directory <tt>doc</tt>).
 
 
 <h2>Interfaces</h2>