# HG changeset patch
# User wenzelm
# Date 908721363 -7200
# Node ID 7c8821ac185b8d07df83aef730a9d00d8fe046f1
# Parent  aad79a127628cbaf2961c586a1e1b5c485a1c2ee
added Minho (Portugal);

diff -r aad79a127628 -r 7c8821ac185b Admin/index.html
--- a/Admin/index.html	Fri Oct 16 19:25:58 1998 +0200
+++ b/Admin/index.html	Sun Oct 18 16:36:03 1998 +0200
@@ -16,7 +16,7 @@
 <p><hr><p>
 
 
-<h2>Mirror sites</h2>
+<h2>Mirror sites (alphabetical order)</h2>
 
 <ul>
 
@@ -25,6 +25,10 @@
 (UK)</a>
 
 <li> <a
+href="ftp://ftp.ci.uminho.pt/pub/mirrors/isabelle/index.html">Minho
+(Portugal)</a>
+
+<li> <a
 href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich
 (Germany)</a>