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 header;
authorwenzelm
Thu, 28 May 1998 12:24:05 +0200
changeset 4981 9703ba0e9122
parent 4980 a5b90f34a05c
child 4982 6f96354267e0
tuned header;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu May 28 12:23:11 1998 +0200
+++ b/NEWS	Thu May 28 12:24:05 1998 +0200
@@ -2,8 +2,8 @@
 Isabelle NEWS -- history of user-visible changes
 ================================================
 
-New in Isabelle??? (FIXME)
---------------------------
+New in this Isabelle version
+----------------------------
 
 *** General Changes ***
isabelle