diff -r adba7fd0e28b -r ce6e1152d777 history.html
--- a/history.html	Tue Mar 17 19:29:29 2015 +0000
+++ b/history.html	Sat Apr 11 04:19:29 2015 +0100
@@ -107,11 +107,15 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
 <TABLE>
 <TR>
-<TD><H1>ITP Heritage</H1></TD>
+<TD><H1>ITP Heritage and Conference History</H1></TD>
 </TABLE>
 <p>
-[CFP]
+<HR>
+[<A HREF="index.html#dates">Important Dates</A>]
+[<A HREF="cfp.pdf">CFP</A>]
+[<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