Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/world_map_large.html
changeset 19939 242b7312374d
parent 19924 ee3c4ec1d652 
--- a/Admin/website/world_map_large.html	Wed Jun 21 11:44:50 2006 +0200
+++ b/Admin/website/world_map_large.html	Wed Jun 21 21:13:27 2006 +0200
@@ -44,6 +44,7 @@
 	<area shape="rect" alt="" coords="1828,211,1867,250" href="http://www.khstu.ru/"                                            onmouseover="return world_click(28);" onmouseout="return nd();" />
 	<area shape="rect" alt="" coords="653,250,692,289"   href="http://www.cag.csail.mit.edu/~vkuncak/projects/jahob/index.html" onmouseover="return world_click(29);" onmouseout="return nd();" />
 	<area shape="rect" alt="" coords="561,261,600,300"   href="http://www.cs.uchicago.edu/people/dbm"                           onmouseover="return world_click(30);" onmouseout="return nd();" />
+        <area shape="rect" alt="" coords="1293,940,1321,968" href="https://belenus.unirioja.es/~jearansa/"                          onmouseover="return world_click(31);" onmouseout="return nd();" />
 
     </map>
isabelle