Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 16 Jun 2016 10:15:52 +0100
changeset 448 960cc8081e0a
parent 447 678ba50aba9d
child 449 7fb685883250
updated
Cookbook/main.html file | annotate | diff | comparison | revisions 
--- 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).
public_html