--- 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>