# HG changeset patch
# User wenzelm
# Date 941111717 -7200
# Node ID 954e30918b86f294815567040b40fd8bd9004b14
# Parent  f531589c9fc1df623b5a720713022d5988641b51
tuned;

diff -r f531589c9fc1 -r 954e30918b86 README.html
--- 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.