Admin/index.html

--- a/Admin/index.html	Tue Jan 19 12:59:55 1999 +0100
+++ b/Admin/index.html	Wed Jan 20 10:29:25 1999 +0100
@@ -24,8 +24,7 @@
 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge
 (UK)</a>
 
-<li> <a
-href="ftp://ftp.ci.uminho.pt/pub/mirrors/isabelle/index.html">Minho
+<li> <a href="http://ciumix.ci.uminho.pt/mirrors/isabelle/">Minho
 (Portugal)</a>
 
 <li> <a