--- a/Admin/page/dist-content/index.content Mon Sep 11 17:40:41 2000 +0200
+++ b/Admin/page/dist-content/index.content Mon Sep 11 17:41:34 2000 +0200
@@ -21,5 +21,3 @@
<li> <a href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html">Stanford (USA)</a> <br> </li>
</ul>
-
-