author | nipkow |
Mon, 24 Sep 2018 23:27:01 +0200 | |
changeset 69066 | 5f83db57e8c2 |
parent 69065 | 440f7a575760 |
child 69067 | 5ed7206dbf18 |
--- 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 ***