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>