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 @@
[Important Dates]
[Programme]
[Travel + Registration]
-[ITP Booklet]
+[ITP Booklet]
[Accepted Papers]
[CFP]
@@ -139,7 +139,7 @@
Preliminary programme
-ITP Booklet,
+
ITP Booklet,
contains practical information about registration, travelling, etc.
There will be an
Isabelle tutorial before the