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 @@
Stable Version
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).