diff -r 26b193439245 -r 4979283341dc index.html
--- a/index.html	Fri Aug 14 00:40:17 2015 +0800
+++ b/index.html	Fri Aug 14 00:43:22 2015 +0800
@@ -137,7 +137,7 @@
 The proceedings will be published as usual in the LNCS
 Series. There will be an
 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
-conference (21 - 23 August), and<BR><BR>
+conference (21 - 23 August), and
 a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference
 (27 - 29 August).