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