--- a/README.html Mon Dec 15 15:27:03 1997 +0100
+++ b/README.html Mon Dec 15 15:32:27 1997 +0100
@@ -56,14 +56,12 @@
<p>
-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 current official release is 110. We also still support the old
-0.93 release and working versions 109.27 to 109.33. Support for the
-109 line of SML/NJ will be dropped next time! There is an unofficial
-pre-built binary distribution of <a
-href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/smlnj-110/">SML/NJ
-110 for Linux.</a>
+<a
+href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
+needs lots of store and disk space, but it is free. The current
+official release is 110. We also still support the old 0.93 release
+and working versions 109.27 to 109.33. Support for the 109 line of
+SML/NJ will be dropped next time!
<h2>Installation</h2>