# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1439483889 -28800
# Node ID a874a7d63dbacc7b77923b1edc707300a452f79e
# Parent  3fbe1fe9179eaf5fd907be47f99046b06c15014c
updated link to booklet

diff -r 3fbe1fe9179e -r a874a7d63dba index.html
--- a/index.html	Fri Aug 14 00:32:21 2015 +0800
+++ b/index.html	Fri Aug 14 00:38:09 2015 +0800
@@ -116,7 +116,7 @@
 [<A HREF="index.html#dates">Important Dates</A>]
 [<A HREF="index.html#programme">Programme</A>]
 [<A HREF="index.html#travel">Travel + Registration</A>]
-[<A HREF="booklet.pdf">ITP Booklet</A>]
+[<A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/booklet.pdf">ITP Booklet</A>]
 <BR>
 [<A HREF="accepted.html">Accepted Papers</A>]
 [<A HREF="cfp.pdf">CFP</A>]
@@ -139,7 +139,7 @@
 
 <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="booklet.pdf">ITP Booklet</A>,
+<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