# HG changeset patch # User haftmann # Date 1384881296 -3600 # Node ID e7c9a14632d058016f464061ab411c4d90e966ff # Parent 77c9460e01b03b612046de9759a4d8ca41e61867 more correct NEWS diff -r 77c9460e01b0 -r e7c9a14632d0 NEWS --- a/NEWS Tue Nov 19 18:11:52 2013 +0100 +++ b/NEWS Tue Nov 19 18:14:56 2013 +0100 @@ -21,7 +21,7 @@ * Abolished neg_numeral. * Canonical representation for minus one is "- 1". * Canonical representation for other negative numbers is "- (numeral _)". - * When devising rules set for number calculation, consider the + * When devising rule sets for number calculation, consider the following cases: 0, 1, numeral _, - 1, - numeral _. * Syntax for negative numerals is mere input syntax. INCOMPATBILITY.