www.in.tum.de;
authorwenzelm
Thu Aug 27 20:56:26 1998 +0200 (1998-08-27)
changeset 540179d3b232d859
parent 5400 645f46a24c72
child 5402 49b118cbbea0
www.in.tum.de;
README.html
     1.1 --- a/README.html	Thu Aug 27 20:46:36 1998 +0200
     1.2 +++ b/README.html	Thu Aug 27 20:56:26 1998 +0200
     1.3 @@ -117,13 +117,13 @@
     1.4  or
     1.5  <p>
     1.6  
     1.7 -<a href="http://www4.informatik.tu-muenchen.de:80/~nipkow/">Tobias Nipkow</a><br>
     1.8 +<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br>
     1.9  Institut fuer Informatik<br>
    1.10  T. U. Muenchen<br>	
    1.11  D-80290 Muenchen<br>
    1.12  Germany<br>
    1.13  <br>
    1.14 -E-mail: nipkow@informatik.tu-muenchen.de<br>
    1.15 +E-mail: nipkow@www.in.tum.de<br>
    1.16  Phone: +49-89-289-22690<br>
    1.17  Fax:   +49-89-289-28183<br>
    1.18