NEWS
changeset 56499 7e0178c84994
parent 56450 16d4213d4cbc
child 56505 aed94b61f65b
     1.1 --- a/NEWS	Wed Apr 09 17:29:37 2014 +0200
     1.2 +++ b/NEWS	Wed Apr 09 17:54:09 2014 +0200
     1.3 @@ -25,6 +25,10 @@
     1.4  supports input methods via ` (backquote), or << and >> (double angle
     1.5  brackets).
     1.6  
     1.7 +* The outer syntax categories "text" (for formal comments and document
     1.8 +markup commands) and "altstring" (for literal fact references) allow
     1.9 +cartouches as well, in addition to the traditional mix of quotations.
    1.10 +
    1.11  * More static checking of proof methods, which allows the system to
    1.12  form a closure over the concrete syntax.  Method arguments should be
    1.13  processed in the original proof context as far as possible, before