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