# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1432662865 -3600
# Node ID 9b9e6590882e59607241386e2a6c97febdd5bb64
# Parent  5db9bd25926672186e3abde9ae836d95ef5e90a5
updated

diff -r 5db9bd259266 -r 9b9e6590882e index.html
--- a/index.html	Tue May 26 18:53:43 2015 +0100
+++ b/index.html	Tue May 26 18:54:25 2015 +0100
@@ -134,7 +134,10 @@
 during the Ming Dynasty with a rich <A
 HREF="http://www.cityofnanjing.com">cultural heritage</A>.  
 The proceedings will be published as usual in the LNCS
-Series. There are several groups in the ITP area that are active in China. For example for the last
+Series.
+
+<p>
+There are several groups in the ITP area that are active in China. For example for the last
 five years there have been popular
 <A HREF="http://kyhcs.ustcsz.edu.cn/fmschool-2011">summerschools</A> in China about Coq
 with 50 or so student participants each. ITPs (and TPHOLs) have