# HG changeset patch
# User haftmann
# Date 1457817732 -3600
# Node ID f26dc26f21610f7a64fb62d744cb94a3cff1717e
# Parent  b3f2b8c906a69e82dffbcc2d473c792191724b4c
spelling

diff -r b3f2b8c906a6 -r f26dc26f2161 NEWS
--- a/NEWS	Sat Mar 12 22:04:52 2016 +0100
+++ b/NEWS	Sat Mar 12 22:22:12 2016 +0100
@@ -69,7 +69,7 @@
     * All other canonical characters are printed as »CHAR 0xXX«
       with XX being the hexadecimal character code.  »CHAR n«
       is parsable for every numeral expression n.
-    * Non-canonial characters have no special syntax and are
+    * Non-canonical characters have no special syntax and are
       printed as their logical representation.
   - Explicit conversions from and to the natural numbers are
     provided as char_of_nat, nat_of_char (as before).