Admin/index.html
changeset 6145 dea357e84ac9
parent 5768 b00769ecda36
child 6147 345c0fb3e628
--- 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