--- a/index.html Tue Aug 25 11:18:35 2015 +0800
+++ b/index.html Tue Aug 25 11:34:09 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="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/prog.pdf">Preliminary programme</A><BR><BR>
+<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="booklet4.pdf">ITP Booklet</A>,
contains practical information about registration, travelling, restaurants, etc.<BR><BR>
</p>
@@ -147,7 +147,7 @@
excursion to <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>
and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>.
The preliminary programme of talks can be found
-<A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/prog.pdf">here</A>.
+<A HREF="prog1.pdf">here</A>.
<H4><A NAME="travel">Travel to Nanjing</H4>
Binary file prog1.pdf has changed