tuned;
authorwenzelm
Wed May 21 11:27:32 1997 +0200 (1997-05-21)
changeset 327470939b0fadfb
parent 3273 114704740c86
child 3275 3f53f2c876f4
tuned;
README.html
     1.1 --- a/README.html	Wed May 21 10:59:14 1997 +0200
     1.2 +++ b/README.html	Wed May 21 11:27:32 1997 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4  <h2>System requirements</h2>
     1.5  
     1.6  Isabelle requires a real Unix box with sufficient resources. Fun
     1.7 -starts at about 32MB of RAM (somewhat depending on your ML system),
     1.8 +starts at about 32MB of memory (somewhat depending on your ML system),
     1.9  several tens of MB disk space and with a relatively fast CPU.
    1.10  
    1.11  <p>
    1.12 @@ -54,29 +54,21 @@
    1.13  
    1.14  <p>
    1.15  
    1.16 -Poly/ML is a commercial product and costs money, but it is stable and
    1.17 -efficient. It requires relatively little memory (starting at about
    1.18 -16MB) and disk space (about 40MB for all distributed object logics).
    1.19 -See <a href="http://www.ahl.co.uk/poly-ml.html">here</a> for more
    1.20 -information.
    1.21 +<a href="http://www.ahl.co.uk/poly-ml.html">Poly/ML</a> is a
    1.22 +commercial product and costs money, but it is stable and efficient. It
    1.23 +requires relatively little memory (starting at about 16MB) and disk
    1.24 +space (about 40MB for all distributed object logics).
    1.25  
    1.26  <p>
    1.27  
    1.28 -SML/NJ needs lots of store and disk space, but it is free.  The last
    1.29 -official release is 0.93.
    1.30 -
    1.31 -Recent working versions may be better suited, under normal
    1.32 -circumstances.  Beware of the many incompatibilities among SML/NJ
    1.33 -versions! From the 1.09.x family, we now only support 1.09.27, or
    1.34 -later.
    1.35 -
    1.36 -<p>
    1.37 -
    1.38 -To obtain Standard ML of New Jersey, see the <a
    1.39 -href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">here</a>. An
    1.40 -unofficial pre-built binary distribution of SML/NJ 1.09.27 for Linux
    1.41 -is available <a
    1.42 -href="http://www4.informatik.tu-muenchen.de/~wenzelm/resources.html">here</a>.
    1.43 +SML/NJ needs lots of store and disk space, but it is <a
    1.44 +href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">free</a>.
    1.45 +The last official release is 0.93.  Recent working versions may be
    1.46 +better suited, under normal circumstances.  Beware of the many
    1.47 +incompatibilities among SML/NJ versions! From the 1.09.x family, we
    1.48 +now only support 1.09.27, or later.  An unofficial pre-built binary
    1.49 +distribution of SML/NJ 1.09.27 for Linux is also <a
    1.50 +href="http://www4.informatik.tu-muenchen.de/~wenzelm/resources.html">available.</a>
    1.51  
    1.52  
    1.53  <h2>Installation</h2>