Admin/index.html

--- a/Admin/index.html	Thu Apr 29 15:34:43 1999 +0200
+++ b/Admin/index.html	Thu Apr 29 15:35:40 1999 +0200
@@ -24,9 +24,6 @@
 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/">Cambridge
 (UK)</a>
 
-<li> <a href="http://ciumix.ci.uminho.pt/mirrors/isabelle/">Minho
-(Portugal)</a>
-
 <li> <a href="http://isabelle.in.tum.de/dist/">Munich (Germany)</a>
 
 <li> <a