NEWS

--- a/NEWS	Fri Dec 07 22:19:49 2007 +0100
+++ b/NEWS	Fri Dec 07 22:19:51 2007 +0100
@@ -6,8 +6,12 @@
 
 *** General ***
 
-* Symbol \<chi> is now considered a letter.  Potential INCOMPATIBILITY
-in identifier syntax etc.
+* Syntax: symbol \<chi> is now considered a letter.  Potential
+INCOMPATIBILITY in identifier syntax etc.
+
+* Outer syntax: string tokens may contain arbitrary character codes
+specified via 3 decimal digits (as in SML).  E.g. "foo\095bar" for
+"foo_bar".
 
 
 *** Pure ***