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

diff -r 5b47bd1d9246 -r cf69bb0b9a4f index.html
--- a/index.html	Thu Aug 27 09:04:24 2015 +0800
+++ b/index.html	Thu Aug 27 09:20:49 2015 +0800
@@ -123,7 +123,7 @@
 (27 - 29 August, see also <A HREF="http://www.strub.nu/coq-itp-15">here</A>).
 
 <p>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="prog1.pdf">Preliminary programme</A><BR><BR>
+<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="prog1.pdf">Programme</A><BR><BR>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet5.pdf">ITP Booklet</A>,
 contains practical information about registration, travelling, restaurants, etc.<BR><BR>
 </p>
@@ -138,7 +138,12 @@
 Conference: 24-27 August 2015<BR>
 <A HREF="https://easychair.org/conferences/?conf=itp2015">Submission page</A><BR>
 
-<H4><A NAME="programme">Tentative Programme</H4>
+<center>
+<a href="itp-photo.jpg">
+<img src="itp-photo.jpg" width="40%" height="40%"></a>
+</center>
+
+<H4><A NAME="programme">Programme</H4>
 
 As is the tradition, the conference consists of 4 days
 of research presentations and invited talks. Like in previous
diff -r 5b47bd1d9246 -r cf69bb0b9a4f itp-photo.jpg
Binary file itp-photo.jpg has changed