--- 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>