NEWS
changeset 61471 9d4c08af61b8
parent 61463 8e46cea6a45a
child 61473 34d1913f0b20
     1.1 --- a/NEWS	Sun Oct 18 17:20:20 2015 +0200
     1.2 +++ b/NEWS	Sun Oct 18 17:24:24 2015 +0200
     1.3 @@ -22,9 +22,8 @@
     1.4  * Toplevel theorem statement 'proposition' is another alias for
     1.5  'theorem'.
     1.6  
     1.7 -* HTML presentation uses the standard IsabelleText font and Unicode
     1.8 -rendering of Isabelle symbols like Isabelle/Scala/jEdit.  The former
     1.9 -print mode "HTML" looses its special meaning.
    1.10 +* There is a new short form of antiquotations: \<^foo>\<open>...\<close> is
    1.11 +equivalent to @{"\<^foo>" \<open>...\<close>} for control symbols.
    1.12  
    1.13  
    1.14  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.15 @@ -57,6 +56,10 @@
    1.16  
    1.17  *** Document preparation ***
    1.18  
    1.19 +* HTML presentation uses the standard IsabelleText font and Unicode
    1.20 +rendering of Isabelle symbols like Isabelle/Scala/jEdit.  The former
    1.21 +print mode "HTML" looses its special meaning.
    1.22 +
    1.23  * Commands 'paragraph' and 'subparagraph' provide additional section
    1.24  headings. Thus there are 6 levels of standard headings, as in HTML.
    1.25