# HG changeset patch
# User wenzelm
# Date 1390431086 -3600
# Node ID 3eb7bcca5b90afa985908c7a546a127d2b2eaca3
# Parent  2c9d6d305f14ad1529acb61802833b4c7c2adfaf
NEWS;

diff -r 2c9d6d305f14 -r 3eb7bcca5b90 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 ***