--- 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