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