--- a/Admin/website/js/world_map_data.js Mon Jun 19 18:25:34 2006 +0200
+++ b/Admin/website/js/world_map_data.js Mon Jun 19 19:17:48 2006 +0200
@@ -28,7 +28,7 @@
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ät Passau', STICKY, NOCLOSE];
-world_data[i++] = ['', CAPTION, 'University of Edinburgh, School of Informatics', STICKY, NOCLOSE];
+world_data[i++] = ['David Aspinall: <b><a href=\'http://proofgeneral.inf.ed.ac.uk/\'>Proof General</a></b><br>Lucas Dixon: <b><a href=\'http://isaplanner.sourceforge.net/\'>IsaPlanner</a></b><br>Jacques Fleuriot: <b>HOL-Hyperreal</b>', 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];