# HG changeset patch
# User wenzelm
# Date 1001538041 -7200
# Node ID b4c7cb040644a82005f28fd5346ea7ed14f3005e
# Parent  fd436696b1a13533f51ca5b81111616bdf775413
updated;

diff -r fd436696b1a1 -r b4c7cb040644 README.html
--- a/README.html	Wed Sep 26 22:26:11 2001 +0200
+++ b/README.html	Wed Sep 26 23:00:41 2001 +0200
@@ -12,19 +12,17 @@
 
 <h2>Version information</h2>
 
-This is the internal repository version of Isabelle.  The current line
-of Isabelle99 development introduces many new concepts, while
-attempting to keep incompatibilities over Isabelle98 at a minimum.
-See the <tt>NEWS</tt> file in the distribution for more details.
+This is the internal repository version of Isabelle.  See the
+<tt>NEWS</tt> file in the distribution for details on user-relevant
+changes.
 
 
 <h2>System requirements</h2>
 
-Isabelle requires a real Unix box with sufficient resources. Fun
-starts at about 32-64 MB of free main memory (somewhat depending on
-the ML system), with several tens of MB disk space and a decent CPU.
-Speaking by today's hardware standards, any moderate Linux box should
-give a very nice platform for Isabelle.
+Isabelle requires a real Unix box with sufficient resources, say 64 MB
+of free main memory and a decent CPU.  Speaking by today's hardware
+standards, any moderate Linux box should give a very nice platform for
+Isabelle.
 
 <p>
 
@@ -42,7 +40,7 @@
 The following ML system and platform combinations are known to work
 very well:
 <ul>
-<li> Poly/ML 4.x and 3.x on Linux/x86 and Solaris/Sparc.
+<li> Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
 <li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
 </ul>
 
@@ -58,10 +56,10 @@
 old 0.93 release, but do not recommend to use it under normal
 circumstances.
 
-<p> MLWorks is a commercial ML programming environment developed by <a
-href="http://www.harlequin.com/">Harlequin</a> and was unfortunately
-withdrawn after that company was taken over.  Isabelle on MLWorks 2.0
-works reasonably well.
+<p> MLWorks used to be a commercial ML programming environment
+developed by <a href="http://www.harlequin.com/">Harlequin</a> and was
+unfortunately withdrawn after that company was taken over.  Isabelle
+on MLWorks 2.0 works reasonably well.
 
 
 <h2>Installation</h2>