--- a/index.html	Thu Nov 06 18:02:56 2014 +0000
+++ b/index.html	Sat Nov 15 08:18:11 2014 +0000
@@ -112,8 +112,10 @@
 </TR>
 </TABLE>
 <p>
+[CFP]
+[<A HREF="history.html">Conference History</A>]
+</p>
 
-</p>
 <p>
 The 6th conference on Interactive Theorem Proving will be held in
 Nanjing. The organising committee is chaired by Xingyuan Zhang and Christian Urban.