# HG changeset patch
# User haftmann
# Date 1385399938 -3600
# Node ID 19cd731eb745e81a864edb0f0149c256e25ec3a8
# Parent  ebc8f6bf20c037aed43537f1868a05898a32810e
even more precise NEWS

diff -r ebc8f6bf20c0 -r 19cd731eb745 NEWS
--- a/NEWS	Mon Nov 25 16:59:02 2013 +0000
+++ b/NEWS	Mon Nov 25 18:18:58 2013 +0100
@@ -28,7 +28,9 @@
   * Canonical representation for minus one is "- 1".
   * Canonical representation for other negative numbers is "- (numeral _)".
   * When devising rule sets for number calculation, consider the
-    following cases: 0, 1, numeral _, - 1, - numeral _.
+    following canonical cases: 0, 1, numeral _, - 1, - numeral _.
+  * HOLogic.dest_number also recognizes numerals in non-canonical forms
+    like "numeral One", "- numeral One", "- 0" and even "- … - _".
   * Syntax for negative numerals is mere input syntax.
 INCOMPATBILITY.