diff -r 8628e9e9d73d -r fe430520b26c Cookbook/menu.html
--- a/Cookbook/menu.html	Tue Jan 28 11:37:44 2020 +0000
+++ b/Cookbook/menu.html	Tue Jan 28 11:47:27 2020 +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://talisker.inf.kcl.ac.uk/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://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" onclick="pageTracker._trackPageview('tutorial');" target="_top">
 Latest Draft</a>  (updated to Isabelle 2019 thanks to Norbert Schirmer)<BR><BR><BR></td>
 </tr>