# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1649433957 -3600
# Node ID 38a926c8d66f58855e2ab3010cd625b74ff32d2c
# Parent  1391ef09c0b97d2567ad62b3d0eccf49de489544
updated

diff -r 1391ef09c0b9 -r 38a926c8d66f Cookbook/main.html
--- a/Cookbook/main.html	Mon Sep 13 12:33:12 2021 +0100
+++ b/Cookbook/main.html	Fri Apr 08 17:05:57 2022 +0100
@@ -94,8 +94,8 @@
 <H3>Repository</H3>
 
 A 
-<A HREF="http://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/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="http://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. 
+<A HREF="https://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/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>. 
 
 <H3>Stable Version</H3>
 
diff -r 1391ef09c0b9 -r 38a926c8d66f Cookbook/menu.html
--- a/Cookbook/menu.html	Mon Sep 13 12:33:12 2021 +0100
+++ b/Cookbook/menu.html	Fri Apr 08 17:05:57 2022 +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://talisker.nms.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="https://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>