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