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.
tuned;
authorwenzelm
Wed, 14 Sep 2005 23:31:09 +0200
changeset 17398 f2773b6d4dec
parent 17397 4ef3da248c48
child 17399 56a3a4affedc
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Sep 14 23:15:00 2005 +0200
+++ b/NEWS	Wed Sep 14 23:31:09 2005 +0200
@@ -1,8 +1,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in this Isabelle release
-----------------------------
+New in Isabelle2005 (September 2005)
+------------------------------------
 
 *** General ***
isabelle