world map updated

Binary file Admin/website/img/world_map.gif has changed

Binary file Admin/website/img/world_map_large.gif has changed

--- a/Admin/website/js/world_map_data.js	Mon Jun 19 17:19:04 2006 +0200
+++ b/Admin/website/js/world_map_data.js	Mon Jun 19 18:02:49 2006 +0200
@@ -24,6 +24,14 @@
 world_data[i++] = ['Slawomir Kolodynski: <b>IsarMathLib</b>', CAPTION, 'Newark, CA', STICKY, NOCLOSE];
 world_data[i++] = ['Robert Lamar', CAPTION, 'Stetson University', STICKY, NOCLOSE];
 world_data[i++] = ['<a href=\'http://www.andrew.cmu.edu/~avigad/isabelle/\'>Jeremy Avigad</a>, <a href=\'http://www.cs.cmu.edu/~seanmcl/research\'>Sean McLaughlin</a>', CAPTION, 'Carnegie Mellon University', STICKY, NOCLOSE];
+world_data[i++] = ['Elsa L. Gunter', CAPTION, 'University of Illinois, Urbana-Champaign', STICKY, NOCLOSE];
+world_data[i++] = ['Sidi O Ehmety', CAPTION, 'University of Nouakchott', STICKY, NOCLOSE];
+world_data[i++] = ['Wolfgang Paul et al.', CAPTION, 'Saarland University', STICKY, NOCLOSE];
+world_data[i++] = ['Daniel Wasserrab: <b>CoreC++</b>', CAPTION, 'Universit&auml;t Passau', STICKY, NOCLOSE];
+world_data[i++] = ['', CAPTION, 'University of Edinburgh, School of Informatics', STICKY, NOCLOSE];
+world_data[i++] = ['J. Dalinger, L. Petrova', CAPTION, 'Khabarovsk State University of Technology', STICKY, NOCLOSE];
+world_data[i++] = ['Viktor Kuncak: <b>Jahob</b>', CAPTION, 'Massachusetts Institute of Technology', STICKY, NOCLOSE];
+world_data[i++] = ['Dave MacQueen', CAPTION, 'University of Chicago', STICKY, NOCLOSE];
 
 function world_click(i) {
     var entry = world_data[i];

--- a/Admin/website/world_map.html	Mon Jun 19 17:19:04 2006 +0200
+++ b/Admin/website/world_map.html	Mon Jun 19 18:02:49 2006 +0200
@@ -44,7 +44,14 @@
         <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();" />
-    </map>
+	<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();" />    </map>
     </div>
 
     <p>There is also a <a href="//world_map_large.html">larger version of this map</a>.