# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1320146780 0
# Node ID f4c8b96189f6287327b88800c97ac4557f91f11e
# Parent  bcc957c18052567ba8f7670c6a6d857e161333fd
typo

diff -r bcc957c18052 -r f4c8b96189f6 Cookbook/main.html
--- a/Cookbook/main.html	Tue Nov 01 11:00:07 2011 +0000
+++ b/Cookbook/main.html	Tue Nov 01 11:26:20 2011 +0000
@@ -103,7 +103,7 @@
 
 There is no real stable version of the Programming Tutorial yet. If you need a version 
 that is guaranteed to work with Isabelle 2011-1, then please get in touch with me 
-(christian.urban at kcl ac ik).
+(christian.urban at kcl ac uk).
 
 
 <H3><A NAME="readers"></A>What early readers said:</H3>
@@ -180,7 +180,7 @@
 <P>
 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
 <!-- hhmts start -->
-Last modified: Sun Oct 30 22:40:17 GMT 2011
+Last modified: Tue Nov  1 11:26:11 GMT 2011
 <!-- hhmts end -->
 
 </body>