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

diff -r 19419aae459b -r 6861b6c7446a index.html
--- a/index.html	Sat Nov 29 17:40:21 2014 +0000
+++ b/index.html	Sat Nov 29 17:57:00 2014 +0000
@@ -111,13 +111,15 @@
 <TD align="right" valign="top"><img src="pics/nanjing-map.jpg" width="42%" height="40%" alt="TUM" align="top"></TD>
 </TR>
 </TABLE>
+
 <p>
 <HR>
-[<a href="index.html#dates">Important Dates</a>]
+[<A HREF="index.html#dates">Important Dates</A>]
 [<A HREF="cfp.pdf">CFP</A>]
-[<a href="index.html#committees">Committees</a>]
+[<A HREF="index.html#committees">Committees</A>]
 [<A HREF="history.html">Conference History</A>]
-<HR></p>
+<HR>
+</p>
 
 <p>
 The 6th conference on Interactive Theorem Proving will be held in