# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1433893553 -3600
# Node ID 8d2a12050a753e053e24f63695396f2ae8b18a39
# Parent  d3c21ce26f5b3eda280d64e97eb7c5f6f763a1e7
updated

diff -r d3c21ce26f5b -r 8d2a12050a75 index.html
--- a/index.html	Mon Jun 08 22:05:58 2015 +0800
+++ b/index.html	Wed Jun 10 00:45:53 2015 +0100
@@ -30,8 +30,7 @@
       google.maps.event.addDomListener(window, 'load', initialize);
     </script>
 <style type="text/css">
-  body { font-size: 14px;
-         font-family: "trebuchet ms", helvetica, sans-serif; }
+  body { font-family: "trebuchet ms", helvetica, sans-serif; }
 </style>
 </head>
 
@@ -108,7 +107,7 @@
 <TABLE>
 <TR>
 <TD><H1>ITP 2015 will be in Nanjing, China</H1></TD>
-<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
+<TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="ITP" align="top"></TD>
 </TR>
 </TABLE>
 
@@ -151,7 +150,8 @@
 
 <p>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the
+<IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an
+<A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
 conference (21 - 23 August), and<BR><BR>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left">a
 <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference