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.