# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1392134599 0
# Node ID e09fc4a380ba107b4e763e2aca9652c4ec81b818
# Parent  5e3bfed2838d085a567276d82d52a6c9f5c38816
updated

diff -r 5e3bfed2838d -r e09fc4a380ba index.html
--- a/index.html	Tue Feb 11 15:33:37 2014 +0000
+++ b/index.html	Tue Feb 11 16:03:19 2014 +0000
@@ -114,8 +114,9 @@
 <BR>
 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
 is a situated in the heart of China. It is a former capital during the Ming
-Dynasty with a rich cultural heritage. It is close to Shanghai and roughly equidistant
-between Beijing and Hong Kong. We like to propose to host the 5th International Conference
+Dynasty with a rich
+<A HREF="http://www.cityofnanjing.com">cultural heritage</A>. It is close to Shanghai and roughly equidistant
+between Beijing and Hong Kong. We like to propose to hold the 5th International Conference
 on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by
 Xingyuan Zhang and Christian Urban.