# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1716303153 -3600
# Node ID 1daec107e6ab5a66249205fd6f3250c915810e62
# Parent  e69c7e03bbd1dac4590758147ddb43bc920dd121
updated

diff -r e69c7e03bbd1 -r 1daec107e6ab Cookbook/main.html
--- a/Cookbook/main.html	Mon May 13 00:34:09 2024 +0100
+++ b/Cookbook/main.html	Tue May 21 15:52:33 2024 +0100
@@ -95,7 +95,7 @@
 
 A 
 <A HREF="https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/" target="_top">repository</A>
-is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="https://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
+is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
 
 <H3>Stable Version</H3>