# HG changeset patch # User webertj # Date 1150294690 -7200 # Node ID e41ef99d9bb38eceb7fbcd2601c4cbbdacb93553 # Parent 2857fac35e6d9f06538c7bff7945cd4a0e51501f Jia Meng added to world map diff -r 2857fac35e6d -r e41ef99d9bb3 Admin/website/js/world_map_data.js --- a/Admin/website/js/world_map_data.js Wed Jun 14 12:16:49 2006 +0200 +++ b/Admin/website/js/world_map_data.js Wed Jun 14 16:18:10 2006 +0200 @@ -15,7 +15,7 @@ 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, Michael Norrish', CAPTION, 'ANU, NICTA', 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];