# HG changeset patch # User haftmann # Date 1146764921 -7200 # Node ID f238959645e4dc6b16f1e31e7ca4eaf64a969fc0 # Parent f5bdb1689c7c3369af3abe0a28d7a077c6e069d5 added world map diff -r f5bdb1689c7c -r f238959645e4 Admin/website/world_map.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/website/world_map.html Thu May 04 19:48:41 2006 +0200 @@ -0,0 +1,60 @@ + + + + + + + World map + + + + + + + +
+ +
+ +
+

Isabelle around the world

+
+ Isabelle World Map + + + + + + + + + + + + + + + + + + + + + + + + + +
+ +

There is also a larger version of this map. + Contact webertj@in.tum.de + if you want to be added to the map. +

+ +
+
+ + + + diff -r f5bdb1689c7c -r f238959645e4 Admin/website/world_map_large.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/website/world_map_large.html Thu May 04 19:48:41 2006 +0200 @@ -0,0 +1,51 @@ + + + + + + + World map + + + + + + + Isabelle World Map + + + + + + + + + + + + + + + + + + + + + + + + + + + +

Back to smaller version of this map. + Contact webertj@in.tum.de + if you want to be added to the map. +

+ +
+ + + +