Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
www.in.tum.de;
authorwenzelm
Thu, 27 Aug 1998 20:56:26 +0200
changeset 5401 79d3b232d859
parent 5400 645f46a24c72
child 5402 49b118cbbea0
www.in.tum.de;
README.html file | annotate | diff | comparison | revisions 
--- 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>
isabelle