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).