# HG changeset patch
# User webertj
# Date 1150737468 -7200
# Node ID e34105dd441dca1e9431c810d64d3a1cca5bebfc
# Parent  984ae977f7aaceaed1f45ee4a930ca9ce57841b7
world map updated

diff -r 984ae977f7aa -r e34105dd441d Admin/website/js/world_map_data.js
--- 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&auml;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];