# HG changeset patch
# User wenzelm
# Date 904244186 -7200
# Node ID 79d3b232d859f172a2e3ab847c5a7c8095a2cd94
# Parent  645f46a24c7297a8648ca57dcc990075635bb740
www.in.tum.de;

diff -r 645f46a24c72 -r 79d3b232d859 README.html
--- a/README.html	Thu Aug 27 20:46:36 1998 +0200
+++ b/README.html	Thu Aug 27 20:56:26 1998 +0200
@@ -117,13 +117,13 @@
 or
 <p>
 
-<a href="http://www4.informatik.tu-muenchen.de:80/~nipkow/">Tobias Nipkow</a><br>
+<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br>
 Institut fuer Informatik<br>
 T. U. Muenchen<br>	
 D-80290 Muenchen<br>
 Germany<br>
 <br>
-E-mail: nipkow@informatik.tu-muenchen.de<br>
+E-mail: nipkow@www.in.tum.de<br>
 Phone: +49-89-289-22690<br>
 Fax:   +49-89-289-28183<br>