Mercurial Mercurial > hg > itp-2015 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 11 Feb 2014 15:16:53 +0000
changeset 8 adaf6b83330a
parent 7 8eeb61050189
child 9 eb6b573f3bad
updated
index.html file | annotate | diff | comparison | revisions
pics/hotel1.jpg file | annotate | diff | comparison | revisions
pics/hotel2.jpg file | annotate | diff | comparison | revisions 
--- 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>
 
 
Binary file pics/hotel1.jpg has changed
Binary file pics/hotel2.jpg has changed
itp-2015