author | nipkow |
Wed, 10 Jan 2018 20:17:36 +0100 | |
changeset 67402 | b71431a2051e |
parent 67401 | a82df75b7f85 |
child 67403 | 90fe8c635ba0 |
--- a/NEWS Wed Jan 10 18:18:34 2018 +0100 +++ b/NEWS Wed Jan 10 20:17:36 2018 +0100 @@ -9,7 +9,7 @@ *** General *** -* The "op <infix-op>" syntax for infix opertors has been replaced by +* The "op <infix-op>" syntax for infix operators has been replaced by "(<infix-op>)". If <infix-op> begins or ends with a "*", there needs to be a space between the "*" and the corresponding parenthesis. INCOMPATIBILITY.