# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1392305359 0
# Node ID 0dabc9c2d59e7a9186e516f45d9f34f927c20cec
# Parent  03ab22cb0f0355a9354da72cbba6a04c8a4275de
update

diff -r 03ab22cb0f03 -r 0dabc9c2d59e index.html
--- a/index.html	Thu Feb 13 15:28:27 2014 +0000
+++ b/index.html	Thu Feb 13 15:29:19 2014 +0000
@@ -229,8 +229,8 @@
 
 <H4>Experience of the Programme Chairs</H4>
 
-Xingyuan and Christian are regular participants at ITP having had the good fortune to have
-papers accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
+Xingyuan and Christian are regular participants at ITP having had the good fortune of their 
+papers being accepted at all ITPs so far. Christian was a co-organiser of the TPHOLs conference
 in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.