diff -r 47fef41c68fb -r c2ffa1783319 Admin/website/js/world_map_data.js
--- a/Admin/website/js/world_map_data.js Wed Jul 12 17:00:33 2006 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,40 +0,0 @@
-var world_data = [];
-var i = 0;
-
-world_data[i++] = ['Xiaoqi Ma', CAPTION, 'University of Reading', STICKY, NOCLOSE];
-world_data[i++] = ['Larry Paulson, Tom Ridge et al.', CAPTION, 'University of Cambridge', STICKY, NOCLOSE];
-world_data[i++] = ['Sara Kalvala', CAPTION, 'University of Warwick', STICKY, NOCLOSE];
-world_data[i++] = ['Paqui Lucio', CAPTION, 'Basque Country University', STICKY, NOCLOSE];
-world_data[i++] = ['Pierre Castéran', CAPTION, 'Université Bordeaux', STICKY, NOCLOSE];
-world_data[i++] = ['Achim D. Brucker, Burkhart Wolff: HOL-OCL, HOL-TestGen, HOL-Z, IsaMorph
Jürgen Doser: Model-Driven Security with Secure UML
Christoph Sprenger: Cryptographically Faithful Proofs of Security Protocols', CAPTION, 'ETH Zürich', STICKY, NOCLOSE];
-world_data[i++] = ['Walther Neuper: ISAC', CAPTION, 'Graz University of Technology', STICKY, NOCLOSE];
-world_data[i++] = ['Tobias Nipkow et al.', CAPTION, 'Technische Universität München', STICKY, NOCLOSE];
-world_data[i++] = ['Harald Hiss', CAPTION, 'Albert-Ludwigs-Universität Freiburg', STICKY, NOCLOSE];
-world_data[i++] = ['Stephan Merz et al.', CAPTION, 'LORIA', STICKY, NOCLOSE];
-world_data[i++] = ['Peter Lammich', CAPTION, 'Institut für Informatik, Universität Münster', STICKY, NOCLOSE];
-world_data[i++] = ['Till Mossakowski: Heterogeneous Tool Set', CAPTION, 'University of Bremen, DFKI Lab Bremen', STICKY, NOCLOSE];
-world_data[i++] = ['Jørgen Villadsen', CAPTION, 'Technical University of Denmark', STICKY, NOCLOSE];
-world_data[i++] = ['See the zoomed in section of the map for details.', CAPTION, 'Europe', STICKY, NOCLOSE];
-world_data[i++] = ['Jeremy Dawson, Jia Meng, Michael Norrish', CAPTION, 'ANU, NICTA', STICKY, NOCLOSE];
-world_data[i++] = ['Gerwin Klein et al.: L4.verified', CAPTION, 'NICTA, UNSW', STICKY, NOCLOSE];
-world_data[i++] = ['Kamal Kant Gupta', CAPTION, 'IIT Guwahati', STICKY, NOCLOSE];
-world_data[i++] = ['Yasuhiko Minamide', CAPTION, 'University of Tsukuba', STICKY, NOCLOSE];
-world_data[i++] = ['Gang Yu: Formalizing Lambda-Calculus and Virtual Machine with Non-Local Control Operators', CAPTION, 'Institute of Software, Beijing', STICKY, NOCLOSE];
-world_data[i++] = ['John Matthews', CAPTION, 'Galois Connections', STICKY, NOCLOSE];
-world_data[i++] = ['Slawomir Kolodynski: IsarMathLib', CAPTION, 'Newark, CA', STICKY, NOCLOSE];
-world_data[i++] = ['Robert Lamar', CAPTION, 'Stetson University', STICKY, NOCLOSE];
-world_data[i++] = ['Jeremy Avigad, Sean McLaughlin', 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: CoreC++', CAPTION, 'Universität Passau', STICKY, NOCLOSE];
-world_data[i++] = ['David Aspinall: Proof General
Lucas Dixon: IsaPlanner
Jacques Fleuriot: HOL-Hyperreal', 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: Jahob', CAPTION, 'Massachusetts Institute of Technology', STICKY, NOCLOSE];
-world_data[i++] = ['Dave MacQueen', CAPTION, 'University of Chicago', STICKY, NOCLOSE];
-world_data[i++] = ['Jesús Aranzay', CAPTION, 'Universidad de La Rioja', STICKY, NOCLOSE];
-
-function world_click(i) {
- var entry = world_data[i];
- return overlib(entry[0], entry[1], entry[2], entry[3], entry[4]);
-}