# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1392322797 0
# Node ID 08280615de4a9bb3b06afe7164188ddec41f0cd2
# Parent  68a42be6129e0be5b03da9a788401651a9baedf6
update

diff -r 68a42be6129e -r 08280615de4a index.html
--- a/index.html	Thu Feb 13 19:20:53 2014 +0000
+++ b/index.html	Thu Feb 13 20:19:57 2014 +0000
@@ -221,7 +221,7 @@
 The best tour around Nanjing is to go to the Purple Mountains passing by the
 the Linggusi pagoda, the city wall and the Ming tombs
 (see pictures on the left). There is a wide selection of excellent restaurants
-around Nanjing's Confucius Temple for a conference dinner. If chosen, we would
+around Nanjing's Confucius Temple for a conference dinner. If our bid is chosen, we would
 canvas for opinions about what participants would be most interested in.
 
 <H4>Finance</H4>
@@ -235,7 +235,7 @@
 co-organiser of the TPHOLs conference
 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
 We will make use of the infrastructure available at Xingyuan's university for local
-organisation.
+organisation. There will also be a student team that helps with running the conference.
 </TD>
 </TR>
 </TABLE>