# HG changeset patch
# User wenzelm
# Date 1458163148 -3600
# Node ID a2351f82bc488b105dc5cfa1212cacdd52457f52
# Parent  c36a4495ba5fb6e5aede6c87e37b402cc4b150aa
eliminated spurious Unicode, which is in conflict with Isabelle symbol interpretation;

diff -r c36a4495ba5f -r a2351f82bc48 NEWS
--- a/NEWS	Wed Mar 16 22:16:58 2016 +0100
+++ b/NEWS	Wed Mar 16 22:19:08 2016 +0100
@@ -58,16 +58,16 @@
 
   - Logical representation:
     * 0 is instantiated to the ASCII zero character.
-    * All other characters are represented as »Char n«
+    * All other characters are represented as "Char n"
       with n being a raw numeral expression less than 256.
-    * Expressions of the form »Char n« with n greater than 255
+    * Expressions of the form "Char n" with n greater than 255
       are non-canonical.
   - Printing and parsing:
-    * Printable characters are printed and parsed as »CHR ''…''«
+    * Printable characters are printed and parsed as "CHR ''\<dots>''"
       (as before).
-    * The ASCII zero character is printed and parsed as »0«.
-    * All other canonical characters are printed as »CHAR 0xXX«
-      with XX being the hexadecimal character code.  »CHAR n«
+    * The ASCII zero character is printed and parsed as "0".
+    * 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-canonical characters have no special syntax and are
       printed as their logical representation.