typo
authornipkow
Wed Jan 10 20:17:36 2018 +0100 (2018-01-10)
changeset 67402b71431a2051e
parent 67401 a82df75b7f85
child 67403 90fe8c635ba0
typo
NEWS
     1.1 --- a/NEWS	Wed Jan 10 18:18:34 2018 +0100
     1.2 +++ b/NEWS	Wed Jan 10 20:17:36 2018 +0100
     1.3 @@ -9,7 +9,7 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 -* The "op <infix-op>" syntax for infix opertors has been replaced by
     1.8 +* The "op <infix-op>" syntax for infix operators has been replaced by
     1.9  "(<infix-op>)". If <infix-op> begins or ends with a "*", there needs to
    1.10  be a space between the "*" and the corresponding parenthesis.
    1.11  INCOMPATIBILITY.