NEWS
changeset 61748 fc53fbf9fe01
parent 61733 00fcff12c59f
child 61766 507b39df1a57
     1.1 --- a/NEWS	Tue Nov 24 23:17:03 2015 +0100
     1.2 +++ b/NEWS	Wed Nov 25 15:58:22 2015 +0100
     1.3 @@ -92,7 +92,9 @@
     1.4  
     1.5  * Antiquotation @{theory_text} prints uninterpreted theory source text
     1.6  (outer syntax with command keywords etc.). This may be used in the short
     1.7 -form \<^theory_text>\<open>...\<close>.
     1.8 +form \<^theory_text>\<open>...\<close>.   @{theory_text [display]} supports option "indent".
     1.9 +
    1.10 +* @{verbatim [display]} supports option "indent".
    1.11  
    1.12  * Antiquotation @{doc ENTRY} provides a reference to the given
    1.13  documentation, with a hyperlink in the Prover IDE.