# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1465993711 -3600
# Node ID 678ba50aba9de23f5c4e4ee6b1c156f09db2c639
# Parent  67819579944b979af03ebaa129265bc02f217bda
updatd

diff -r 67819579944b -r 678ba50aba9d Cookbook/menu.html
--- a/Cookbook/menu.html	Wed Jun 15 13:25:36 2016 +0100
+++ b/Cookbook/menu.html	Wed Jun 15 13:28:31 2016 +0100
@@ -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://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://www.inf.kcl.ac.uk/staff/urbanc/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>