# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1531735007 -3600
# Node ID a0b56111a7c11f0ba5be26b66f92c246e42d3777
# Parent  480a9cdfce908bb50242500ea62189c8bd43b82b
updated

diff -r 480a9cdfce90 -r a0b56111a7c1 travelling.html
--- a/travelling.html	Mon Jul 16 10:55:10 2018 +0100
+++ b/travelling.html	Mon Jul 16 10:56:47 2018 +0100
@@ -64,7 +64,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li> Big Proof Meeting in Cambridge (Newton Institute, June - August)
+<li>ITP in Oxford (July)</li>
 </ul>
 </TD>
 </TR>
@@ -73,6 +73,12 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Old</H2>
 
+<H5>2017</H5>
+
+<ul class="striped">
+<li> Big Proof Meeting in Cambridge (Newton Institute, June - August)
+</ul>
+
 <H5>2016</H5>
 
 <ul class="striped">