# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1392131813 0
# Node ID adaf6b83330a8a941c3942c0d6d5a3ce31d6c7cd
# Parent  8eeb6105018921a9851bdab07fbd7fa4bfe5f49f
updated

diff -r 8eeb61050189 -r adaf6b83330a index.html
--- a/index.html	Tue Feb 11 15:15:59 2014 +0000
+++ b/index.html	Tue Feb 11 15:16:53 2014 +0000
@@ -145,6 +145,8 @@
 Many groups working on ITP, summerschool on Coq, never has been hosted
 in China, several centres (Shanghai, Beijing, ...)
 
+Good food, conference trip
+
 <H4>Not updated</H4>
 
 
diff -r 8eeb61050189 -r adaf6b83330a pics/hotel1.jpg
Binary file pics/hotel1.jpg has changed
diff -r 8eeb61050189 -r adaf6b83330a pics/hotel2.jpg
Binary file pics/hotel2.jpg has changed