# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1439484017 -28800
# Node ID 26b193439245fe4524d91ca530effec369ed732f
# Parent  a874a7d63dbacc7b77923b1edc707300a452f79e
updated

diff -r a874a7d63dba -r 26b193439245 index.html
--- a/index.html	Fri Aug 14 00:38:09 2015 +0800
+++ b/index.html	Fri Aug 14 00:40:17 2015 +0800
@@ -135,17 +135,16 @@
 during the Ming Dynasty with a rich <A
 HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
 The proceedings will be published as usual in the LNCS
-Series.
+Series. 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>
+a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference
+(27 - 29 August).
 
 <p>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="prog.pdf">Preliminary programme</A><BR><BR>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/booklet.pdf">ITP Booklet</A>,
 contains practical information about registration, travelling, etc.<BR><BR>
-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>
-a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference
-(27 - 29 August).<BR><BR>
 </p>
 
 <H4><A NAME="dates"></A>Important Dates</H4>