# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1417284011 0
# Node ID 566dc939e9cffab11939bb8add23197cdbad627e
# Parent  6861b6c7446a5956c95aa51509ff9b5580f81fa4
updated

diff -r 6861b6c7446a -r 566dc939e9cf index.html
--- a/index.html	Sat Nov 29 17:57:00 2014 +0000
+++ b/index.html	Sat Nov 29 18:00:11 2014 +0000
@@ -119,7 +119,7 @@
 [<A HREF="index.html#committees">Committees</A>]
 [<A HREF="history.html">Conference History</A>]
 <HR>
-</p>
+
 
 <p>
 The 6th conference on Interactive Theorem Proving will be held in