updated Tobias' address
authorkleing
Mon Apr 19 00:00:05 2004 +0200 (2004-04-19)
changeset 146225275774155cf
parent 14621 bd78bdbc85a9
child 14623 811c09d426cc
updated Tobias' address
README.html
     1.1 --- a/README.html	Sat Apr 17 23:55:58 2004 +0200
     1.2 +++ b/README.html	Mon Apr 19 00:00:05 2004 +0200
     1.3 @@ -129,14 +129,14 @@
     1.4  
     1.5  <a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br>
     1.6  Institut für Informatik<br>
     1.7 -T. U. München<br>
     1.8 -D-80290 München<br>
     1.9 +Technische Universität München<br>
    1.10 +Boltzmannstr. 3<br>
    1.11 +D-85748 Garching<br>
    1.12  Germany<br>
    1.13  <br>
    1.14  E-mail: <A HREF="mailto:nipkow@in.tum.de">nipkow@in.tum.de</A><br>
    1.15 -Phone: +49-89-289-22690<br>
    1.16 -Fax:   +49-89-289-28183<br>
    1.17 -
    1.18 +Phone: +49-89-289-17302<br>
    1.19 +Fax:   +49-89-289-17307<br>
    1.20  <p>
    1.21  
    1.22  <hr>