# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1433939121 -3600
# Node ID 71eb49da978f1ef20ff64e51c81691475479e767
# Parent  8cfc96642da5dee8da4d9371f9d5e3e58dbdd721
updated

diff -r 8cfc96642da5 -r 71eb49da978f index.html
--- a/index.html	Wed Jun 10 13:17:14 2015 +0100
+++ b/index.html	Wed Jun 10 13:25:21 2015 +0100
@@ -140,7 +140,7 @@
 <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>,
-contains essential information about registration, travelling, etc.<BR><BR>
+contains practical 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