changeset 68484 | 59793df7f853 |
parent 68472 | 581a1bfec8ad |
child 68499 | d4312962161a |
child 68513 | 88b0e63d58a5 |
--- a/NEWS Fri Jun 22 18:31:50 2018 +0200 +++ b/NEWS Fri Jun 22 20:31:49 2018 +0200 @@ -167,6 +167,10 @@ * Document preparation with skip_proofs option now preserves the content more accurately: only terminal proof steps ('by' etc.) are skipped. +* Document antiquotation @{theory name} requires the long +session-qualified theory name: this is what users reading the text +normally need to import. + * Document antiquotation @{session name} checks and prints the given session name verbatim.