# HG changeset patch
# User wenzelm
# Date 916824565 -3600
# Node ID dea357e84ac9ae198b5b3026087b87ab0b33103c
# Parent  7d38744313c8f39cd87e4eb24463abd12cf7cc3e
changed Minho mirror;

diff -r 7d38744313c8 -r dea357e84ac9 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