diff -r 6437c989a744 -r 7e0178c84994 NEWS
--- a/NEWS	Wed Apr 09 17:29:37 2014 +0200
+++ b/NEWS	Wed Apr 09 17:54:09 2014 +0200
@@ -25,6 +25,10 @@
 supports input methods via ` (backquote), or << and >> (double angle
 brackets).
 
+* The outer syntax categories "text" (for formal comments and document
+markup commands) and "altstring" (for literal fact references) allow
+cartouches as well, in addition to the traditional mix of quotations.
+
 * More static checking of proof methods, which allows the system to
 form a closure over the concrete syntax.  Method arguments should be
 processed in the original proof context as far as possible, before