# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1560246044 -3600
# Node ID 3fef91236f70c4d29b23dac8cc74232c843b5838
# Parent  0b9c3103bdbc8ad2d87da0fed7d5754c11695db6
updated

diff -r 0b9c3103bdbc -r 3fef91236f70 Cookbook/menu.html
--- a/Cookbook/menu.html	Tue Jun 11 10:38:27 2019 +0100
+++ b/Cookbook/menu.html	Tue Jun 11 10:40:44 2019 +0100
@@ -26,7 +26,7 @@
 
 <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">
-Latest Draft  (updated to Isabelle 2019 thanks to Norbert Schirmer</a><BR><BR><BR></td>
+Latest Draft</a>  (updated to Isabelle 2019 thanks to Norbert Schirmer)<BR><BR><BR></td>
 </tr>
 
 <tr>