# HG changeset patch
# User webertj
# Date 1149855609 -7200
# Node ID c00e04f8a52a6098b0eb7d2f21050ae78134ee77
# Parent  b81d803dfaa4b918547bba2c4b14e3e5996e3e99
  CVS: ----------------------------------------------------------------------

diff -r b81d803dfaa4 -r c00e04f8a52a Admin/website/js/world_map_data.js
--- a/Admin/website/js/world_map_data.js	Fri Jun 09 12:17:58 2006 +0200
+++ b/Admin/website/js/world_map_data.js	Fri Jun 09 14:20:09 2006 +0200
@@ -21,7 +21,7 @@
 world_data[i++] = ['Yasuhiko Minamide', CAPTION, 'University of Tsukuba', STICKY, NOCLOSE];
 world_data[i++] = ['Gang Yu: <b>Formalizing Lambda-Calculus and Virtual Machine with Non-Local Control Operators</b>', CAPTION, 'Institute of Software, Beijing', STICKY, NOCLOSE];
 world_data[i++] = ['John Matthews', CAPTION, 'Galois Connections', STICKY, NOCLOSE];
-world_data[i++] = ['Slawomir Kokodynski: <b>IsarMathLib</b>', CAPTION, 'Newark, CA', STICKY, NOCLOSE];
+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];