# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1405189191 -7200
# Node ID 3e2f7e6e449adf078ab7d1a5ba639eb5e8956d64
# Parent  43da71639190b6dcba2a73ae33a7eb507c60a14e
added pics

diff -r 43da71639190 -r 3e2f7e6e449a index.html
--- a/index.html	Mon May 26 12:08:57 2014 +0100
+++ b/index.html	Sat Jul 12 20:19:51 2014 +0200
@@ -126,7 +126,7 @@
 
 The conference will be held in the last week of August (24th - 27th
 August 2015). We intend to organise an Isabelle tutorial before the
-main conference and host any workshops on the 28th August, provided
+conference and host any workshops on the 28th August, provided
 there is interest.
 <p>
 
diff -r 43da71639190 -r 3e2f7e6e449a pics/map_of_china.jpg
Binary file pics/map_of_china.jpg has changed
diff -r 43da71639190 -r 3e2f7e6e449a pics/xingyuan.jpg
Binary file pics/xingyuan.jpg has changed