updated, tuned;
authorwenzelm
Sun Oct 18 16:49:56 1998 +0200 (1998-10-18)
changeset 56651dc74203b1d2
parent 5664 7c8821ac185b
child 5666 822db50b3ec5
updated, tuned;
README.html
     1.1 --- a/README.html	Sun Oct 18 16:36:03 1998 +0200
     1.2 +++ b/README.html	Sun Oct 18 16:49:56 1998 +0200
     1.3 @@ -15,24 +15,25 @@
     1.4  
     1.5  This is the internal repository version of Isabelle.  Starting with
     1.6  Isabelle98, the current line of Isabelle introduces many new features,
     1.7 -but also some imcompatibilities with Isabelle94-XX.  See the
     1.8 +but also some incompatibilities with Isabelle94-XX.  See the
     1.9  <tt>NEWS</tt> file in the distribution for more details.
    1.10  
    1.11  
    1.12  <h2>System requirements</h2>
    1.13  
    1.14  Isabelle requires a real Unix box with sufficient resources. Fun
    1.15 -starts at about 32MB of memory (somewhat depending on your ML system),
    1.16 -with several tens of MB disk space and a relatively fast CPU.
    1.17 +starts at about 32MB of main memory (somewhat depending on your ML
    1.18 +system), with several tens of MB disk space and a relatively fast CPU.
    1.19  
    1.20  <p>
    1.21  
    1.22  Furthermore, it needs the following software, which is not part of the
    1.23  distribution:
    1.24  <ul>
    1.25 -<li> A full Standard ML Compiler (e.g. Poly/ML or SML of New Jersey).
    1.26 +<li> A full Standard ML Compiler (e.g. SML of New Jersey).
    1.27  <li> The GNU bash shell (version 1.x or 2.x).
    1.28 -<li> Perl 5.x - the Pathologically Eclectic Rubbish Lister.
    1.29 +<li> Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x
    1.30 +is *not* sufficient).
    1.31  </ul>
    1.32  
    1.33  <p>
    1.34 @@ -40,10 +41,10 @@
    1.35  The following ML system and platform combinations are known to work
    1.36  quite well:
    1.37  <ul>
    1.38 -<li> Poly/ML versions 2.x and 3.1 on Suns.
    1.39 +<li> SML/NJ 110.x on any Unix platform (e.g. Suns, Linux).
    1.40  <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
    1.41 -problems with Linux and HP-UX.
    1.42 -<li> SML/NJ 110 on Suns, Linux, etc.
    1.43 +problems with Linux and HP-UX, though.
    1.44 +<li> Poly/ML versions 2.x and 3.1 on Suns.
    1.45  </ul>
    1.46  
    1.47  <p>
    1.48 @@ -51,21 +52,22 @@
    1.49  <a
    1.50  href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
    1.51  needs lots of store and disk space, but it is free.  The current
    1.52 -official release is 110, working versions 109.27 to 109.33 should also
    1.53 -work.  We also still support the old 0.93 release.
    1.54 -
    1.55 -<p>
    1.56 -
    1.57 -<a href="http://www.ahl.co.uk/poly-ml.html">Poly/ML</a> is a
    1.58 -commercial product and costs money, but it is stable and efficient. It
    1.59 -requires relatively little memory (starting at about 16MB) and disk
    1.60 -space (about 60MB for all distributed object logics).
    1.61 +official release is 110.x, working versions 109.27 to 109.33 should
    1.62 +also work.  We also still support the old 0.93 release.
    1.63  
    1.64  <p>
    1.65  
    1.66  <a href="http://www.harlequin.com/products/ads/ml/">MLWorks</a> is a
    1.67 -commercial ML programming environment.  Isabelle on MLWorks should be
    1.68 -still considered experimental!
    1.69 +commercial ML programming environment.  Isabelle on MLWorks 2.0 works
    1.70 +considerably well with memory and disk usage slightly less than
    1.71 +SML/NJ.  A few minor features (e.g. top-level pretty printing) are not
    1.72 +yet supported, though.
    1.73 +
    1.74 +<p>
    1.75 +
    1.76 +Poly/ML used to be a commercial product by Abstract Hardware Limited
    1.77 +(now Abstract, Inc.).  It is no longer available.  We're awaiting news
    1.78 +about future availability of Poly/ML.
    1.79  
    1.80  <p>
    1.81  
    1.82 @@ -74,8 +76,8 @@
    1.83  
    1.84  See file <tt>INSTALL</tt> in the Isabelle sources on how to build the
    1.85  system. Further background information may be found in the
    1.86 -<em>Isabelle System Manual</em>, distributed as <tt>dvi</tt> with the
    1.87 -sources.
    1.88 +<em>Isabelle System Manual</em>, distributed with the sources (see
    1.89 +directory <tt>doc</tt>).
    1.90  
    1.91  
    1.92  <h2>Interfaces</h2>
    1.93 @@ -131,7 +133,7 @@
    1.94  <hr>
    1.95  
    1.96  Please report any problems you encounter.  While we shall try to be
    1.97 -helpful, we can accept no responsibility for the deficiences of
    1.98 +helpful, we can accept no responsibility for the deficiencies of
    1.99  Isabelle and their consequences.
   1.100  
   1.101  <hr>