README.html
changeset 11575 b4c7cb040644
parent 11146 449e1a1bb7a8
child 13016 c039b8ede204
     1.1 --- a/README.html	Wed Sep 26 22:26:11 2001 +0200
     1.2 +++ b/README.html	Wed Sep 26 23:00:41 2001 +0200
     1.3 @@ -12,19 +12,17 @@
     1.4  
     1.5  <h2>Version information</h2>
     1.6  
     1.7 -This is the internal repository version of Isabelle.  The current line
     1.8 -of Isabelle99 development introduces many new concepts, while
     1.9 -attempting to keep incompatibilities over Isabelle98 at a minimum.
    1.10 -See the <tt>NEWS</tt> file in the distribution for more details.
    1.11 +This is the internal repository version of Isabelle.  See the
    1.12 +<tt>NEWS</tt> file in the distribution for details on user-relevant
    1.13 +changes.
    1.14  
    1.15  
    1.16  <h2>System requirements</h2>
    1.17  
    1.18 -Isabelle requires a real Unix box with sufficient resources. Fun
    1.19 -starts at about 32-64 MB of free main memory (somewhat depending on
    1.20 -the ML system), with several tens of MB disk space and a decent CPU.
    1.21 -Speaking by today's hardware standards, any moderate Linux box should
    1.22 -give a very nice platform for Isabelle.
    1.23 +Isabelle requires a real Unix box with sufficient resources, say 64 MB
    1.24 +of free main memory and a decent CPU.  Speaking by today's hardware
    1.25 +standards, any moderate Linux box should give a very nice platform for
    1.26 +Isabelle.
    1.27  
    1.28  <p>
    1.29  
    1.30 @@ -42,7 +40,7 @@
    1.31  The following ML system and platform combinations are known to work
    1.32  very well:
    1.33  <ul>
    1.34 -<li> Poly/ML 4.x and 3.x on Linux/x86 and Solaris/Sparc.
    1.35 +<li> Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
    1.36  <li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
    1.37  </ul>
    1.38  
    1.39 @@ -58,10 +56,10 @@
    1.40  old 0.93 release, but do not recommend to use it under normal
    1.41  circumstances.
    1.42  
    1.43 -<p> MLWorks is a commercial ML programming environment developed by <a
    1.44 -href="http://www.harlequin.com/">Harlequin</a> and was unfortunately
    1.45 -withdrawn after that company was taken over.  Isabelle on MLWorks 2.0
    1.46 -works reasonably well.
    1.47 +<p> MLWorks used to be a commercial ML programming environment
    1.48 +developed by <a href="http://www.harlequin.com/">Harlequin</a> and was
    1.49 +unfortunately withdrawn after that company was taken over.  Isabelle
    1.50 +on MLWorks 2.0 works reasonably well.
    1.51  
    1.52  
    1.53  <h2>Installation</h2>