Mercurial Mercurial > hg > itp-2015 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 29 Nov 2014 21:49:49 +0000
changeset 93 9eb085881cd5
parent 92 585a5d1dbb65
child 94 5c9441cb0ea9
updated
index.html file | annotate | diff | comparison | revisions 
--- 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
itp-2015