Admin/page/dist-content/index.content

--- a/Admin/page/dist-content/index.content	Fri Mar 08 11:41:10 2002 +0100
+++ b/Admin/page/dist-content/index.content	Fri Mar 08 11:43:01 2002 +0100
@@ -22,8 +22,4 @@
 href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/packages.html">New
 Jersey (USA)</a>
 
-<li><a
-href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/packages.html">Stanford
-(USA)</a>
-
 </ul>