# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1462440172 -3600
# Node ID bb24c6179fa6be4b1dbc0f80254ffba7a2e04464
# Parent  87c1ad539fc9d7902e0239967123e8b5cc5ea381
updated

diff -r 87c1ad539fc9 -r bb24c6179fa6 logic.html
--- a/logic.html	Thu May 05 10:20:35 2016 +0100
+++ b/logic.html	Thu May 05 10:22:52 2016 +0100
@@ -110,7 +110,7 @@
 <DD><A HREF="http://www.comlab.ox.ac.uk/oucl/people/luke.ong.html">Luke Ong</A></DD>
 <DD><A HREF="http://shemesh.larc.nasa.gov/people/mrm/">Mahyar Malekpour</A></DD>
 <DD><A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Maribel Fernandez</A></DD>
-<DD><A HREF="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</A></DD>
+<DD><A HREF="http://sketis.net">Markus Wenzel</A></DD>
 <DD><A HREF="http://www.tcs.informatik.uni-muenchen.de/~mhofmann/">Martin Hofmann</A></DD>
 <DD><A HREF="http://www.dpmms.cam.ac.uk/~martin/">Martin Hyland</A></DD>
 <DD><A HREF="http://www.logic.at/staff/baaz/">Matthias Baaz</A></DD>
@@ -161,7 +161,7 @@
  
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Apr 10 20:47:09 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Thu May  5 10:22:01 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
diff -r 87c1ad539fc9 -r bb24c6179fa6 teaching.html
--- a/teaching.html	Thu May 05 10:20:35 2016 +0100
+++ b/teaching.html	Thu May 05 10:22:52 2016 +0100
@@ -298,8 +298,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <H3>2006-2007</H3>
 <p><B>Wintersemester</B>
-<ul><li><A HREF="http://www4.in.tum.de/lehre/vorlesungen/types/WS0607/index.shtml">Types course</A> 
- at the TU Munich (21h, slides of
+<ul><li>Types course at the TU Munich (21h, slides of
   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-01.pdf">Lec 1</A>]
   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-02.pdf">Lec 2</A>]
   [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Slides/types-03.pdf">Lec 3</A>]
@@ -473,7 +472,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Apr 10 20:49:47 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Thu May  5 10:22:33 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>