# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1505389882 -3600
# Node ID 51b47eb732f925f3f67444efeae444f760a92b82
# Parent  614d59ffa1ad7093d31174eaf94ab761ac273291
updated

diff -r 614d59ffa1ad -r 51b47eb732f9 Cookbook/main.html
--- a/Cookbook/main.html	Thu Sep 14 12:47:23 2017 +0100
+++ b/Cookbook/main.html	Thu Sep 14 12:51:22 2017 +0100
@@ -97,7 +97,7 @@
 <H3>Repository</H3>
 
 A preliminary 
-<A HREF="http://talsker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</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>. 
 
 <H3>Stable Version</H3>
@@ -192,7 +192,7 @@
 <P>
   <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
 
-Time-stamp: <Last changed 2017-09-14 12:47:06 by Christian Urban, cu>
+Time-stamp: <Last changed 2017-09-14 12:51:10 by Christian Urban, cu>
  
 </body>
 </html>