--- 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
---------------------
--- 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>