diff -r ae516c20c5f1 -r 4dac76eb27d9 Cookbook/menu.html
--- a/Cookbook/menu.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/Cookbook/menu.html	Sat Jan 28 07:17:00 2017 +0000
@@ -25,7 +25,7 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <IMG SRC="new.gif" ALT="" style="" align="left"><a href="http://www.inf.kcl.ac.uk/staff/urbanc/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" onclick="pageTracker._trackPageview('tutorial');" target="_top">
+<td style="background-color: rgb(224, 224, 240);"> <IMG SRC="new.gif" ALT="" style="" align="left"><a href="http://nms.kcl.ac.uk/christian.urban/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" onclick="pageTracker._trackPageview('tutorial');" target="_top">
 Latest Draft</a><BR><BR><BR></td>
 </tr>
 
@@ -35,7 +35,7 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/" target="content">Christian Urban</a></td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://nms.kcl.ac.uk/christian.urban/" target="content">Christian Urban</a></td>
 </tr>
 
 <tr>
@@ -92,7 +92,7 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook/main.html#readers" target="content">What early readers said</a> </td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://nms.kcl.ac.uk/christian.urban/Cookbook/main.html#readers" target="content">What early readers said</a> </td>
 </tr>
 
 <tr>
@@ -101,11 +101,11 @@
 </tr>
 
 <tr>
-<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>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://nms.kcl.ac.uk/christian.urban/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/Nominal/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://nms.kcl.ac.uk/christian.urban/Nominal/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td>
 </tr>
 
 </tbody>