Mercurial Mercurial > repos > isabelle / 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.
back to non-release mode;
authorwenzelm
Mon, 20 Apr 2009 12:26:31 +0200
changeset 30904 cc6a6047a10f
parent 30903 0b960d9c5317
child 30905 e3bbc2c4c581
back to non-release mode;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sun Apr 19 17:27:43 2009 +0200
+++ b/NEWS	Mon Apr 20 12:26:31 2009 +0200
@@ -1,6 +1,11 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
+
 New in Isabelle2009 (April 2009)
 --------------------------------
isabelle