README.html
changeset 3274 70939b0fadfb
parent 3260 847c275854d4
child 3279 815ef5848324
--- a/README.html	Wed May 21 10:59:14 1997 +0200
+++ b/README.html	Wed May 21 11:27:32 1997 +0200
@@ -23,7 +23,7 @@
 <h2>System requirements</h2>
 
 Isabelle requires a real Unix box with sufficient resources. Fun
-starts at about 32MB of RAM (somewhat depending on your ML system),
+starts at about 32MB of memory (somewhat depending on your ML system),
 several tens of MB disk space and with a relatively fast CPU.
 
 <p>
@@ -54,29 +54,21 @@
 
 <p>
 
-Poly/ML is a commercial product and costs money, but it is stable and
-efficient. It requires relatively little memory (starting at about
-16MB) and disk space (about 40MB for all distributed object logics).
-See <a href="http://www.ahl.co.uk/poly-ml.html">here</a> for more
-information.
+<a href="http://www.ahl.co.uk/poly-ml.html">Poly/ML</a> is a
+commercial product and costs money, but it is stable and efficient. It
+requires relatively little memory (starting at about 16MB) and disk
+space (about 40MB for all distributed object logics).
 
 <p>
 
-SML/NJ needs lots of store and disk space, but it is free.  The last
-official release is 0.93.
-
-Recent working versions may be better suited, under normal
-circumstances.  Beware of the many incompatibilities among SML/NJ
-versions! From the 1.09.x family, we now only support 1.09.27, or
-later.
-
-<p>
-
-To obtain Standard ML of New Jersey, see the <a
-href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">here</a>. An
-unofficial pre-built binary distribution of SML/NJ 1.09.27 for Linux
-is available <a
-href="http://www4.informatik.tu-muenchen.de/~wenzelm/resources.html">here</a>.
+SML/NJ needs lots of store and disk space, but it is <a
+href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">free</a>.
+The last official release is 0.93.  Recent working versions may be
+better suited, under normal circumstances.  Beware of the many
+incompatibilities among SML/NJ versions! From the 1.09.x family, we
+now only support 1.09.27, or later.  An unofficial pre-built binary
+distribution of SML/NJ 1.09.27 for Linux is also <a
+href="http://www4.informatik.tu-muenchen.de/~wenzelm/resources.html">available.</a>
 
 
 <h2>Installation</h2>