diff -r 80c361e9d19d -r 284e1802bc5c NEWS
--- a/NEWS	Mon May 23 22:43:22 2016 +0200
+++ b/NEWS	Tue May 24 11:39:26 2016 +0200
@@ -9,6 +9,10 @@
 
 *** General ***
 
+* Embedded content (e.g. the inner syntax of types, terms, props) may be
+delimited uniformly via cartouches. This works better than old-fashioned
+quotes when sub-languages are nested.
+
 * Type-inference improves sorts of newly introduced type variables for
 the object-logic, using its base sort (i.e. HOL.type for Isabelle/HOL).
 Thus terms like "f x" or "\<And>x. P x" without any further syntactic context