# HG changeset patch
# User nipkow
# Date 1537824421 -7200
# Node ID 5f83db57e8c290d4f4b00cf182bb81fa6e8b1e42
# Parent  440f7a575760817cda155ce506d869dde6edba03
NEWS

diff -r 440f7a575760 -r 5f83db57e8c2 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 ***