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.
change of my address
authornipkow
Fri, 05 Nov 1993 18:49:22 +0100
changeset 94 40f292719398
parent 93 082f40a66fd3
child 95 2246a80b1cb5
change of my address
README file | annotate | diff | comparison | revisions 
--- a/README	Fri Nov 05 11:48:53 1993 +0100
+++ b/README	Fri Nov 05 18:49:22 1993 +0100
@@ -112,8 +112,7 @@
 Tobias Nipkow			E-mail: nipkow@informatik.tu-muenchen.de
 Institut fuer Informatik	Phone: +49-89-2105-2690
 T. U. Muenchen			Fax:   +49-89-2105-8183
-Postfach 20 24 20
-D-8000 Muenchen 2
+D-80290 Muenchen
 Germany
 
 Last updated 5 November 1993
isabelle