diff -r 0d246395e311 -r ac5cb6219db7 README.html
--- 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>