# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1433938452 -3600
# Node ID 07be48c6f591d15ba159306e0ab4f1d2445186d3
# Parent  9ce7445ca4e23f48068dbe1840bb1ad26ae90adf
updated

diff -r 9ce7445ca4e2 -r 07be48c6f591 index.html
--- a/index.html	Wed Jun 10 13:12:00 2015 +0100
+++ b/index.html	Wed Jun 10 13:14:12 2015 +0100
@@ -139,7 +139,8 @@
 
 <p>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left">Invited speakers: Michael Norrish, Lars Birkedal<BR><BR>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet.pdf">ITP Booklet</A><BR><BR>
+<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="booklet.pdf">ITP Booklet</A>,
+contains essential information about registration, travelling, etc.<BR><BR>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an
 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the