# 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.