http://isabelle.in.tum.de/dist/;
authorwenzelm
Wed Jan 20 17:59:19 1999 +0100 (1999-01-20)
changeset 6147345c0fb3e628
parent 6146 00f3324048a7
child 6148 d97a944c6ea3
http://isabelle.in.tum.de/dist/;
Admin/index.html
     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