NEWS;

--- a/NEWS	Wed Jan 22 23:19:40 2014 +0100
+++ b/NEWS	Wed Jan 22 23:51:26 2014 +0100
@@ -20,6 +20,9 @@
 of "\\", to avoid the optical illusion of escaped backslash within
 string token.  Minor INCOMPATIBILITY.
 
+* Lexical syntax (inner and outer) supports text cartouches with
+arbitrary nesting, and without escapes of quotes etc.
+
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***