# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1466068552 -3600
# Node ID 960cc8081e0ac8dd6c0c0f5153de24b7eec9e5a4
# Parent  678ba50aba9de23f5c4e4ee6b1c156f09db2c639
updated

diff -r 678ba50aba9d -r 960cc8081e0a Cookbook/main.html
--- a/Cookbook/main.html	Wed Jun 15 13:28:31 2016 +0100
+++ b/Cookbook/main.html	Thu Jun 16 10:15:52 2016 +0100
@@ -102,7 +102,7 @@
 <H3>Stable Version</H3>
 
 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 
+that is guaranteed to work with a stable version of Isabelle, then please get in touch with me 
 (christian.urban at kcl ac uk).