# HG changeset patch
# User wenzelm
# Date 925392940 -7200
# Node ID d575fb1edabf58fd3ca845b45590d2b48a7fa697
# Parent  b1288c5e599c7092856eb36a071f2281e2880fb5
currently disabled;

diff -r b1288c5e599c -r d575fb1edabf 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