# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1320022601 0
# Node ID 93ed7944e6f5650239f22df26e329541112b39c1
# Parent  edc1351b863ce544ab5ad38d7450b4aad6682f12
tuned

diff -r edc1351b863c -r 93ed7944e6f5 index.html
--- a/index.html	Sun Oct 30 22:40:20 2011 +0000
+++ b/index.html	Mon Oct 31 00:56:41 2011 +0000
@@ -86,7 +86,7 @@
 </TR>
 </TABLE>
 <p>
-<IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="http://isabelle.in.tum.de/nominal/activities/idp" target="_top">Isabelle Documentation Project</A> (contains now a draft of a 200-page tutorial on Isabelle programming)<BR>
+<IMG SRC="new.gif" ALT="" style="" align="left"><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Cookbook" target="_top">Isabelle Programming Tutorial</A> (draft of a 200-page tutorial on Isabelle programming)<BR>
 </TD>
 </TR>
 
@@ -278,7 +278,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Fri Oct 28 10:16:06 BST 2011
+Last modified: Mon Oct 31 00:56:27 GMT 2011
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>