| changeset 67402 | b71431a2051e |
| parent 67400 | bbed46f40cf5 |
| child 67413 | 2555713586c8 |
--- 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.