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
Mon, 02 Jul 2018 16:25:41 +0200
changeset 68567 b408728a002a
parent 68566 38c8b44b40b9
child 68568 cf01d04e94d7
tuned;
ANNOUNCE file | annotate | diff | comparison | revisions 
--- a/ANNOUNCE	Mon Jul 02 16:26:58 2018 +0200
+++ b/ANNOUNCE	Mon Jul 02 16:25:41 2018 +0200
@@ -4,7 +4,7 @@
 Isabelle2018 is now available.
 
 This version introduces many changes over Isabelle2017: see the NEWS
-file for further details. Here are the main points:
+file for further details. Here are some notable points:
 
 * Improved infix notation within terms.
isabelle