# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1563532734 -3600
# Node ID 58c09367912ed5edd24d9be0f020acff50e64e70
# Parent  fbebd7a62b84bcd2d8a2e1add5efb4b72a50d836
updated

diff -r fbebd7a62b84 -r 58c09367912e Cookbook/main.html
--- a/Cookbook/main.html	Tue Jun 11 23:17:29 2019 +0100
+++ b/Cookbook/main.html	Fri Jul 19 11:38:54 2019 +0100
@@ -89,8 +89,7 @@
 <ul>
 <li><A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A>
 </ul>
-<BR>
-<p>
+
 
 <H3>Repository</H3>
 
diff -r fbebd7a62b84 -r 58c09367912e teaching.html
--- a/teaching.html	Tue Jun 11 23:17:29 2019 +0100
+++ b/teaching.html	Fri Jul 19 11:38:54 2019 +0100
@@ -37,7 +37,7 @@
 <TD BGCOLOR="#FFFFFF" 
     WIDTH="24%" 
     VALIGN="TOP" 
-    ROWSPAN="19">
+    ROWSPAN="20">
 
 <B>Links</B><BR>
 <A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR>
@@ -145,6 +145,17 @@
 
 <TR>
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
+<H3>2018-2019</H3>
+
+<ul>
+<li>Compilers and Formal Languages
+<li>Practical Experiences of Programming (Scala Part, 5  weeks)
+</ul>
+</TD>
+</TR>
+
+<TR>
+<TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2017-2018</H3>
 
 <ul>
diff -r fbebd7a62b84 -r 58c09367912e travelling.html
--- a/travelling.html	Tue Jun 11 23:17:29 2019 +0100
+++ b/travelling.html	Fri Jul 19 11:38:54 2019 +0100
@@ -64,7 +64,8 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Talks and Travel Plans</H2>
 <ul class="striped">
-<li>ITP in Oxford (July)</li>
+<li>Curry On and ECOOP (15 - 19 July, London)</li>
+<li>ICFP (19 - 21, August, Berlin)</li>
 </ul>
 </TD>
 </TR>
@@ -73,14 +74,17 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H2>Old</H2>
 
+<H5>2018</H5>
+<ul class="striped">
+<li> ITP in Oxford (July)</li>
+</ul>  
+
 <H5>2017</H5>
-
 <ul class="striped">
 <li> Big Proof Meeting in Cambridge (Newton Institute, June - August)
 </ul>
 
 <H5>2016</H5>
-
 <ul class="striped">
 <li> Talk at the University of Kent (22 February, host Dr Scott Owens)
 <li> Talk in SMAL group meeting (9 March)
@@ -89,7 +93,6 @@
 
 
 <H5>2015</H5>
-
 <ul class="striped">
 <li> S-REPLS 2 (20 November, London)  
 <li> ITP (21 - 28 August, Nanjing)