diff -r 8628e9e9d73d -r fe430520b26c Cookbook/main.html
--- a/Cookbook/main.html	Tue Jan 28 11:37:44 2020 +0000
+++ b/Cookbook/main.html	Tue Jan 28 11:47:27 2020 +0000
@@ -94,8 +94,8 @@
 <H3>Repository</H3>
 
 A 
-<A HREF="http://talisker.inf.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.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</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>. 
 
 <H3>Stable Version</H3>