# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1439484202 -28800
# Node ID 4979283341dc615bbe7e2b40a2c023a602bcda3c
# Parent  26b193439245fe4524d91ca530effec369ed732f
updated

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).