NEWS

--- a/NEWS	Mon Sep 24 16:09:27 2018 +0200
+++ b/NEWS	Mon Sep 24 23:27:01 2018 +0200
@@ -12,6 +12,9 @@
 * Old-style inner comments (* ... *) within the term language are no
 longer supported (legacy feature in Isabelle2018).
 
+* Infix operators that begin or end with a "*" can now be paranthesized
+without additional spaces, eg "(*)" instead of "( * )".
+
 
 *** Isar ***