--- a/Cookbook/main.html	Thu Feb 22 21:04:45 2024 +0000
+++ b/Cookbook/main.html	Fri Feb 23 11:59:17 2024 +0000
@@ -94,7 +94,7 @@
 <H3>Repository</H3>
 
 A 
-<A HREF="https://talisker.nms.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</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>. 
 
 <H3>Stable Version</H3>