# HG changeset patch
# User wenzelm
# Date 1530541541 -7200
# Node ID b408728a002ab1203cbd48062294b8f77eea8d46
# Parent  38c8b44b40b90b814488d9459965cb17a931ea53
tuned;

diff -r 38c8b44b40b9 -r b408728a002a ANNOUNCE
--- 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.