world map updated
authorwebertj
Mon Jun 19 18:02:49 2006 +0200 (2006-06-19)
changeset 199212a48a5550045
parent 19920 8257e52164a1
child 19922 984ae977f7aa
world map updated
Admin/website/img/world_map.gif
Admin/website/img/world_map_large.gif
Admin/website/js/world_map_data.js
Admin/website/world_map.html
     1.1 Binary file Admin/website/img/world_map.gif has changed
     2.1 Binary file Admin/website/img/world_map_large.gif has changed
     3.1 --- a/Admin/website/js/world_map_data.js	Mon Jun 19 17:19:04 2006 +0200
     3.2 +++ b/Admin/website/js/world_map_data.js	Mon Jun 19 18:02:49 2006 +0200
     3.3 @@ -24,6 +24,14 @@
     3.4  world_data[i++] = ['Slawomir Kolodynski: <b>IsarMathLib</b>', CAPTION, 'Newark, CA', STICKY, NOCLOSE];
     3.5  world_data[i++] = ['Robert Lamar', CAPTION, 'Stetson University', STICKY, NOCLOSE];
     3.6  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];
     3.7 +world_data[i++] = ['Elsa L. Gunter', CAPTION, 'University of Illinois, Urbana-Champaign', STICKY, NOCLOSE];
     3.8 +world_data[i++] = ['Sidi O Ehmety', CAPTION, 'University of Nouakchott', STICKY, NOCLOSE];
     3.9 +world_data[i++] = ['Wolfgang Paul et al.', CAPTION, 'Saarland University', STICKY, NOCLOSE];
    3.10 +world_data[i++] = ['Daniel Wasserrab: <b>CoreC++</b>', CAPTION, 'Universit&auml;t Passau', STICKY, NOCLOSE];
    3.11 +world_data[i++] = ['', CAPTION, 'University of Edinburgh, School of Informatics', STICKY, NOCLOSE];
    3.12 +world_data[i++] = ['J. Dalinger, L. Petrova', CAPTION, 'Khabarovsk State University of Technology', STICKY, NOCLOSE];
    3.13 +world_data[i++] = ['Viktor Kuncak: <b>Jahob</b>', CAPTION, 'Massachusetts Institute of Technology', STICKY, NOCLOSE];
    3.14 +world_data[i++] = ['Dave MacQueen', CAPTION, 'University of Chicago', STICKY, NOCLOSE];
    3.15  
    3.16  function world_click(i) {
    3.17      var entry = world_data[i];
     4.1 --- a/Admin/website/world_map.html	Mon Jun 19 17:19:04 2006 +0200
     4.2 +++ b/Admin/website/world_map.html	Mon Jun 19 18:02:49 2006 +0200
     4.3 @@ -44,7 +44,14 @@
     4.4          <area shape="rect" alt="" coords="136,116,150,130" href="http://www.nongnu.org/isarmathlib/"                            onmouseover="return world_click(20);" onmouseout="return nd();" />
     4.5          <area shape="rect" alt="" coords="220,139,234,153" nohref="nohref"                                                      onmouseover="return world_click(21);" onmouseout="return nd();" />
     4.6          <area shape="rect" alt="" coords="236,105,250,119" href="http://www.cs.cmu.edu/"                                        onmouseover="return world_click(22);" onmouseout="return nd();" />
     4.7 -    </map>
     4.8 +	<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();" />
     4.9 +	<area shape="rect" alt="" coords="374,167,388,181" href="http://www.univ-nkc.mr/"                                       onmouseover="return world_click(24);" onmouseout="return nd();" />
    4.10 +	<area shape="rect" alt="" coords="551,324,561,334" href="http://www.verisoft.de/" onmouseover="return world_click(25);" onmouseout="return nd();" />
    4.11 +	<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();" />
    4.12 +	<area shape="rect" alt="" coords="506,289,516,299" href="http://www.inf.ed.ac.uk/"                                      onmouseover="return world_click(27);" onmouseout="return nd();" />
    4.13 +	<area shape="rect" alt="" coords="710,83,724,97"   href="http://www.khstu.ru/"                                          onmouseover="return world_click(28);" onmouseout="return nd();" />
    4.14 +	<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();" />
    4.15 +	<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>
    4.16      </div>
    4.17  
    4.18      <p>There is also a <a href="//world_map_large.html">larger version of this map</a>.