Admin/index.html
changeset 6147 345c0fb3e628
parent 6145 dea357e84ac9
child 6538 d575fb1edabf
     1.1 --- a/Admin/index.html	Wed Jan 20 10:33:34 1999 +0100
     1.2 +++ b/Admin/index.html	Wed Jan 20 17:59:19 1999 +0100
     1.3 @@ -27,9 +27,7 @@
     1.4  <li> <a href="http://ciumix.ci.uminho.pt/mirrors/isabelle/">Minho
     1.5  (Portugal)</a>
     1.6  
     1.7 -<li> <a
     1.8 -href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/">Munich
     1.9 -(Germany)</a>
    1.10 +<li> <a href="http://isabelle.in.tum.de/dist/">Munich (Germany)</a>
    1.11  
    1.12  <li> <a
    1.13  href="ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html">New