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

diff -r 01007191df40 -r 483f2656cd4a index.html
--- a/index.html	Sun Nov 30 10:24:20 2014 +0000
+++ b/index.html	Sun Nov 30 10:27:31 2014 +0000
@@ -304,7 +304,7 @@
 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
-<A HREF="http://www.cs.uwyo.edu/~ruben/itp-2014/Main/History">never</A> been hosted in
+<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
 ITP community.