changeset 13046 | 69ab0e74ccda |
parent 11109 | ce1cefc6c14c |
child 13848 | 12ffc04fee22 |
--- 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>