NEWS
changeset 67219 81e9804b2014
parent 67215 03d0c958d65a
child 67221 62a5fbdded50
     1.1 --- a/NEWS	Sat Dec 16 20:02:40 2017 +0100
     1.2 +++ b/NEWS	Sat Dec 16 21:53:07 2017 +0100
     1.3 @@ -85,6 +85,9 @@
     1.4  antiquotations in control symbol notation, e.g. \<^const_name> becomes
     1.5  \isactrlconstUNDERSCOREname.
     1.6  
     1.7 +* Document antiquotation @{session name} checks and prints the given
     1.8 +session name verbatim.
     1.9 +
    1.10  * Document preparation with skip_proofs option now preserves the content
    1.11  more accurately: only terminal proof steps ('by' etc.) are skipped.
    1.12