# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1417343291 0
# Node ID 06c7d9b0b9a54b34f385c36615316d79ca1fc166
# Parent  483f2656cd4a7f8725cc8a93719d5685c867b471
u

diff -r 483f2656cd4a -r 06c7d9b0b9a5 index.html
--- a/index.html	Sun Nov 30 10:27:31 2014 +0000
+++ b/index.html	Sun Nov 30 10:28:11 2014 +0000
@@ -303,7 +303,7 @@
 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://sts.thss.tsinghua.edu.cn/APSSFM_2013">summerschools</A> in China about Coq
-with 50 or so student participants each. ITP (and TPHOLs) have
+with 50 or so student participants each. ITPs (and TPHOLs) have
 <A HREF="history.html">never</A> been hosted in
 China, and this might be an opportunity for the ITP community to foster relations
 with researchers from China and Asia, and for local researchers to become part of the