# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1440638733 -28800
# Node ID 5de0b601a02c42cb9143c99123c618884ef72239
# Parent  cf69bb0b9a4fa751396eaa2c1060587c55223f69
updated

diff -r cf69bb0b9a4f -r 5de0b601a02c index.html
--- a/index.html	Thu Aug 27 09:20:49 2015 +0800
+++ b/index.html	Thu Aug 27 09:25:33 2015 +0800
@@ -107,7 +107,7 @@
 
 
 <p>
-The 6th conference on Interactive Theorem Proving will be held in
+The 6th conference on Interactive Theorem Proving was held in
 Nanjing, China. 
 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated
 in the heart of China &#8212; close to Shanghai and roughly
@@ -116,7 +116,7 @@
 HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
 The proceedings will be published as usual in the
 <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">LNCS</A>
-Series. There will be an
+Series. There was an
 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
 conference (21 - 23 August), and
 a <A HREF="coq.pdf">Coq tutorial</A> after the conference
@@ -140,7 +140,7 @@
 
 <center>
 <a href="itp-photo.jpg">
-<img src="itp-photo.jpg" width="40%" height="40%"></a>
+<img src="itp-photo-small.jpg" width="40%" height="40%"></a>
 </center>
 
 <H4><A NAME="programme">Programme</H4>
diff -r cf69bb0b9a4f -r 5de0b601a02c itp-photo-small.jpg
Binary file itp-photo-small.jpg has changed