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