# HG changeset patch
# User haftmann
# Date 1151052514 -7200
# Node ID ed388c5c7e54321f7ee8a9c5b3d6497739f448cf
# Parent  60e0cbeae3d84b50234b3e411561fcc334d30769
added webmaster

diff -r 60e0cbeae3d8 -r ed388c5c7e54 Admin/website/world_map.html
--- a/Admin/website/world_map.html	Fri Jun 23 09:55:01 2006 +0200
+++ b/Admin/website/world_map.html	Fri Jun 23 10:48:34 2006 +0200
@@ -44,20 +44,20 @@
         <area shape="rect" alt="" coords="136,116,150,130" href="http://www.nongnu.org/isarmathlib/"                            onmouseover="return world_click(20);" onmouseout="return nd();" />
         <area shape="rect" alt="" coords="220,139,234,153" nohref="nohref"                                                      onmouseover="return world_click(21);" onmouseout="return nd();" />
         <area shape="rect" alt="" coords="236,105,250,119" href="http://www.cs.cmu.edu/"                                        onmouseover="return world_click(22);" onmouseout="return nd();" />
-	<area shape="rect" alt="" coords="213,109,228,124" href="http://www-faculty.cs.uiuc.edu/~egunter/"                      onmouseover="return world_click(23);" onmouseout="return nd();" />
-	<area shape="rect" alt="" coords="374,167,388,181" href="http://www.univ-nkc.mr/"                                       onmouseover="return world_click(24);" onmouseout="return nd();" />
-	<area shape="rect" alt="" coords="551,324,561,334" href="http://www.verisoft.de/" onmouseover="return world_click(25);" onmouseout="return nd();" />
-	<area shape="rect" alt="" coords="575,327,585,337" href="http://www.infosun.fmi.uni-passau.de/st/staff/wasserra/"       onmouseover="return world_click(26);" onmouseout="return nd();" />
-	<area shape="rect" alt="" coords="506,289,516,299" href="http://www.inf.ed.ac.uk/"                                      onmouseover="return world_click(27);" onmouseout="return nd();" />
-	<area shape="rect" alt="" coords="710,83,724,97"   href="http://www.khstu.ru/"                                          onmouseover="return world_click(28);" onmouseout="return nd();" />
-	<area shape="rect" alt="" coords="254,98,268,112"  href="http://www.cag.csail.mit.edu/~vkuncak/projects/jahob/index.html" onmouseover="return world_click(29);" onmouseout="return nd();" />
-	<area shape="rect" alt="" coords="218,102,232,116" href="http://www.cs.uchicago.edu/people/dbm"                         onmouseover="return world_click(30);" onmouseout="return nd();" />
-	<area shape="rect" alt="" coords="503,365,512,374" href="https://belenus.unirioja.es/~jearansa/"                        onmouseover="return world_click(31);" onmouseout="return nd();" />
+        <area shape="rect" alt="" coords="213,109,228,124" href="http://www-faculty.cs.uiuc.edu/~egunter/"                      onmouseover="return world_click(23);" onmouseout="return nd();" />
+        <area shape="rect" alt="" coords="374,167,388,181" href="http://www.univ-nkc.mr/"                                       onmouseover="return world_click(24);" onmouseout="return nd();" />
+        <area shape="rect" alt="" coords="551,324,561,334" href="http://www.verisoft.de/"                                       onmouseover="return world_click(25);" onmouseout="return nd();" />
+        <area shape="rect" alt="" coords="575,327,585,337" href="http://www.infosun.fmi.uni-passau.de/st/staff/wasserra/"       onmouseover="return world_click(26);" onmouseout="return nd();" />
+        <area shape="rect" alt="" coords="506,289,516,299" href="http://www.inf.ed.ac.uk/"                                      onmouseover="return world_click(27);" onmouseout="return nd();" />
+        <area shape="rect" alt="" coords="710,83,724,97"   href="http://www.khstu.ru/"                                          onmouseover="return world_click(28);" onmouseout="return nd();" />
+        <area shape="rect" alt="" coords="254,98,268,112"  href="http://www.cag.csail.mit.edu/~vkuncak/projects/jahob/index.html" onmouseover="return world_click(29);" onmouseout="return nd();" />
+        <area shape="rect" alt="" coords="218,102,232,116" href="http://www.cs.uchicago.edu/people/dbm"                         onmouseover="return world_click(30);" onmouseout="return nd();" />
+        <area shape="rect" alt="" coords="503,365,512,374" href="https://belenus.unirioja.es/~jearansa/"                        onmouseover="return world_click(31);" onmouseout="return nd();" />
     </map>
     </div>
 
     <p>There is also a <a href="//world_map_large.html">larger version of this map</a>.
-    Contact <a href="mailto:webertj@in.tum.de?subject=Isabelle World Map">webertj@in.tum.de</a>
+    Contact <a href="mailto:webmaster@isabelle.in.tum.de?subject=Isabelle World Map">webmaster@isabelle.in.tum.de</a>
     if you want to be added to the map.
     </p>