# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1444158238 -3600
# Node ID 68ed5006e16a7edcb05ae21622969cfef6620440
# Parent  d6a6195c8ce8c2966aa3c687d9deada7accbbcde
updated

diff -r d6a6195c8ce8 -r 68ed5006e16a index.html
--- a/index.html	Wed Sep 02 09:36:37 2015 +0100
+++ b/index.html	Tue Oct 06 20:03:58 2015 +0100
@@ -98,7 +98,6 @@
 </TABLE>
 <p>
 <IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook" target="_top">Isabelle Programming Tutorial</A> (draft of a 200-page tutorial on Isabelle programming)<BR><BR>
-<IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> will take place in Nanjing organised by Xingyuan Zhang and me<BR>
 </TD>
 </TR>
 
@@ -170,6 +169,10 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> (PC co-chair)
 <P>
 
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/">ITP'15</A> took place in Nanjing organised
+by Xingyuan Zhang and me<BR>
+<p>
+
 <B>Current PhD</B> Fahad Ausaf<BR>
 <B>Former RAs</B>  Chunhan Wu, <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Cezary Kaliszyk</A>, 
 <A HREF="http://dpt-info.u-strasbg.fr/~narboux/">Julien Narboux</A>
@@ -348,7 +351,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Thu Aug 20 13:07:23 CST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Oct  6 20:03:19 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>