--- 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).