# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1428723736 -3600
# Node ID e02d6cf59a00157b7827c5ecc0be2ee4ddcdb4f9
# Parent  b52ec9acb5069b0b61933a34b265f3c1582f964d
updated

diff -r b52ec9acb506 -r e02d6cf59a00 bids-2016.html
--- a/bids-2016.html	Sat Apr 11 04:39:15 2015 +0100
+++ b/bids-2016.html	Sat Apr 11 04:42:16 2015 +0100
@@ -88,6 +88,7 @@
 <TR>
 <TD><H1>Bids for Hosting ITP 2016</H1></TD>
 </TABLE>
+
 <p>
 <HR>
 [<A HREF="index.html">Home</A>]
@@ -96,7 +97,7 @@
 [<A HREF="index.html#committees">Committees</A>]
 [<A HREF="history.html">Conference History</A>]
 <HR>
-</p>
+
 
 <p>ITP 2015 is the sixth conference on Interactive Theorem Proving and
 related topics, ranging from theoretical foundations to implementation
diff -r b52ec9acb506 -r e02d6cf59a00 history.html
--- a/history.html	Sat Apr 11 04:39:15 2015 +0100
+++ b/history.html	Sat Apr 11 04:42:16 2015 +0100
@@ -36,7 +36,6 @@
     VALIGN="TOP" 
     ROWSPAN="2">
 
-
 <p align=center>
 <a href="pics/ITP-Linggusu.jpg">
 <img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusi" border=0></a>
@@ -88,6 +87,7 @@
 <TR>
 <TD><H1>ITP Heritage and Conference History</H1></TD>
 </TABLE>
+
 <p>
 <HR>
 [<A HREF="index.html">Home</A>]
@@ -96,7 +96,7 @@
 [<A HREF="index.html#committees">Committees</A>]
 [<A HREF="bids-2016.html">ITP 2016 Bids</A>]
 <HR>
-</p>
+
 
 <p>ITP 2015 is the sixth conference on Interactive Theorem Proving and
 related topics, ranging from theoretical foundations to implementation