--- a/README.html Wed Oct 27 19:32:19 1999 +0200
+++ b/README.html Thu Oct 28 13:55:17 1999 +0200
@@ -14,16 +14,16 @@
<h2>Version information</h2>
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.
+of development introduces many new features, while attempting to keep
+incompatibilities over Isabelle98-X at a minimum. See the
+<tt>NEWS</tt> file in the distribution for more details.
<h2>System requirements</h2>
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.
+starts at about 32-64 MB of free 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, any moderate Linux box should
make a nice platform for Isabelle.
@@ -65,7 +65,7 @@
commercial ML programming environment. Isabelle on MLWorks 2.0 works
well. It is about 20% faster than on SML/NJ while using slightly less
memory and disk space. A few minor features (e.g. ML top-level pretty
-printing) are not yet supported, though.
+printing) are not supported, though.
<p>
@@ -85,7 +85,7 @@
Manual</em>, distributed with the sources (directory <tt>doc</tt>).
-<h2>Interfaces</h2>
+<h2>Unser interfaces</h2>
The distribution includes only a very primitive interface based on
ordinary terminal sessions.