update
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 13 Feb 2014 20:19:57 +0000
changeset 53 08280615de4a
parent 52 68a42be6129e
child 54 800508ef0e2b
update
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>