# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1392130997 0
# Node ID 20a3564ecec3bffe158eed15011ed664e539b896
# Parent  3f2b08975cc17d17d78a917db6fc31b498b936df
updated

diff -r 3f2b08975cc1 -r 20a3564ecec3 index.html
--- a/index.html	Tue Feb 11 14:58:59 2014 +0000
+++ b/index.html	Tue Feb 11 15:03:17 2014 +0000
@@ -112,17 +112,19 @@
 </TR>
 </TABLE>
 <BR>
-Nanjing is a situated in the heart of China, a former capital during the Ming
+<A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A>
+is a situated in the heart of China, 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. This is a bid to host the 5th ITP conference there.
-The organising committee would be chaired by Xingyuan Zhang and Christian Urban.
+between Beijing and Hong Kong. This is a bid to host the 5th International Conference
+on Interactive Theorem Proving in Nanjing. The organising committee would be chaired by
+Xingyuan Zhang and Christian Urban.
 
 
 <H4>Travel to Nanjing</H4>
 
-There are many connections directly to 
+There are many airline connections directly to 
 <A HREF="http://en.wikipedia.org/wiki/Nanjing_Lukou_International_Airport">Nanjing Lukou Airport</A>
-and via transfer at Hong Kong, Beijing, Shanghai and many others. There
+and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There
 are also very convenient train connections from Shanghai and Beijing, which
 take slightly more than 1h from Shanghai and about 4h from Beijing.
 Travel within Nanjing can be done cheaply via taxi and public transportation.