# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1417297789 0
# Node ID 9eb085881cd50278cb7d0a171da4d0c507114253
# Parent  585a5d1dbb651ebdb402c1f9d877035f3c24fd49
updated

diff -r 585a5d1dbb65 -r 9eb085881cd5 index.html
--- a/index.html	Sat Nov 29 21:48:00 2014 +0000
+++ b/index.html	Sat Nov 29 21:49:49 2014 +0000
@@ -123,7 +123,7 @@
 
 <p>
 The 6th conference on Interactive Theorem Proving will be held in
-Nanjing, China. The organising committee is chaired by Xingyuan Zhang and Christian Urban.
+Nanjing, China. 
 <A HREF="http://en.wikipedia.org/wiki/Nanjing">Nanjing</A> is situated
 in the heart of China &#8212; close to Shanghai and roughly
 equidistant between Beijing and Hong Kong. It is a former capital