NEWS
authornipkow
Mon Sep 24 23:27:01 2018 +0200 (13 months ago ago)
changeset 690665f83db57e8c2
parent 69047 440f7a575760
child 69067 5ed7206dbf18
NEWS
NEWS
     1.1 --- a/NEWS	Mon Sep 24 16:09:27 2018 +0200
     1.2 +++ b/NEWS	Mon Sep 24 23:27:01 2018 +0200
     1.3 @@ -12,6 +12,9 @@
     1.4  * Old-style inner comments (* ... *) within the term language are no
     1.5  longer supported (legacy feature in Isabelle2018).
     1.6  
     1.7 +* Infix operators that begin or end with a "*" can now be paranthesized
     1.8 +without additional spaces, eg "(*)" instead of "( * )".
     1.9 +
    1.10  
    1.11  *** Isar ***
    1.12