# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1466070763 -3600
# Node ID 7fb6858832503e9f9fc49bba18897da7adee9286
# Parent  960cc8081e0ac8dd6c0c0f5153de24b7eec9e5a4
updated

diff -r 960cc8081e0a -r 7fb685883250 Cookbook/menu.html
--- a/Cookbook/menu.html	Thu Jun 16 10:15:52 2016 +0100
+++ b/Cookbook/menu.html	Thu Jun 16 10:52:43 2016 +0100
@@ -101,11 +101,11 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td>
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td>
 </tr>
 
 </tbody>