README.html
changeset 7959 954e30918b86
parent 7483 5ce623228ef2
child 8068 72d783f7313a
     1.1 --- a/README.html	Wed Oct 27 19:32:19 1999 +0200
     1.2 +++ b/README.html	Thu Oct 28 13:55:17 1999 +0200
     1.3 @@ -14,16 +14,16 @@
     1.4  <h2>Version information</h2>
     1.5  
     1.6  This is the internal repository version of Isabelle.  The current line
     1.7 -of Isabelle99 development introduces many new features, with only a
     1.8 -few incompatibilities over Isabelle98-X.  See the <tt>NEWS</tt> file
     1.9 -in the distribution for more details.
    1.10 +of development introduces many new features, while attempting to keep
    1.11 +incompatibilities over Isabelle98-X at a minimum.  See the
    1.12 +<tt>NEWS</tt> file in the distribution for more details.
    1.13  
    1.14  
    1.15  <h2>System requirements</h2>
    1.16  
    1.17  Isabelle requires a real Unix box with sufficient resources. Fun
    1.18 -starts at about 32-64 MB of main memory (somewhat depending on your ML
    1.19 -system), with several tens of MB disk space and a decent CPU.
    1.20 +starts at about 32-64 MB of free main memory (somewhat depending on
    1.21 +your ML system), with several tens of MB disk space and a decent CPU.
    1.22  Speaking by today's hardware standards, any moderate Linux box should
    1.23  make a nice platform for Isabelle.
    1.24  
    1.25 @@ -65,7 +65,7 @@
    1.26  commercial ML programming environment.  Isabelle on MLWorks 2.0 works
    1.27  well.  It is about 20% faster than on SML/NJ while using slightly less
    1.28  memory and disk space.  A few minor features (e.g. ML top-level pretty
    1.29 -printing) are not yet supported, though.
    1.30 +printing) are not supported, though.
    1.31  
    1.32  <p>
    1.33  
    1.34 @@ -85,7 +85,7 @@
    1.35  Manual</em>, distributed with the sources (directory <tt>doc</tt>).
    1.36  
    1.37  
    1.38 -<h2>Interfaces</h2>
    1.39 +<h2>Unser interfaces</h2>
    1.40  
    1.41  The distribution includes only a very primitive interface based on
    1.42  ordinary terminal sessions.