# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1428722369 -3600
# Node ID ce6e1152d77731eb71e3cd9afdd80e804b5ff5ff
# Parent  adba7fd0e28b3838cadef00924e579df2589a7d4
updated

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
diff -r adba7fd0e28b -r ce6e1152d777 index.html
--- a/index.html	Tue Mar 17 19:29:29 2015 +0000
+++ b/index.html	Sat Apr 11 04:19:29 2015 +0100
@@ -267,15 +267,14 @@
 
 <H4>Venue and Accommodation</H4>
 
-The plan is to host the conference at the
+The conference will take place at the
 <A HREF="http://english.ctrip.com/hotels/nanjing-hotel-detail-66456/nanjing-hanyuan-mansion-center-of-academic-exchange/">Hanyuan
 Hotel</A>, which is inexpensive
 (ca. 350&#20803;/&pound;35/$60/&euro;40 per night including breakfast)
 and in easy reach from the city centre (see <A HREF="https://maps.google.com/maps?q=Hanyuan+Mansion,+20+Tongwei+Road,+Xuanwu,+Nanjing,+Jiangsu,+China,+210095&amp;hl=en&amp;ll=32.029617,118.838768&amp;spn=0.204033,0.292854&amp;sll=32.010405,118.824692&amp;sspn=0.204076,0.292854&amp;t=m&amp;z=12">here</A>
 at Google Maps). It has the usual amenities for hosting conferences
 (Wifi, conference rooms, etc) and has links to neighbouring
-universities. There is also the possibility to use lecture rooms for
-free in Xingyuan's university at the other side of the road.  Hanyuan
+universities.  Hanyuan
 Hotel includes a restaurant and there are innumerable <A
 HREF="http://www.chinatour.com/nanjing/nanjing-food.htm">restaurants</A>
 around the hotel and in downtown Nanjing, all usually very affordable.