# HG changeset patch
# User haftmann
# Date 1400170730 -7200
# Node ID 5bee93b2020d47c04665cdd7bb93581875163f73
# Parent  d0e04fdf4276b2d19a3541417e3a245f1fe873d4
type

diff -r d0e04fdf4276 -r 5bee93b2020d NEWS
--- a/NEWS	Wed May 14 13:36:35 2014 +0200
+++ b/NEWS	Thu May 15 18:18:50 2014 +0200
@@ -493,7 +493,7 @@
   * 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.
+INCOMPATIBILITY.
 
 * Elimination of fact duplicates:
     equals_zero_I ~> minus_unique