NEWS;
authorwenzelm
Mon Dec 04 23:07:44 2017 +0100 (6 weeks ago)
changeset 67133540eeaf88a63
parent 67132 336831647779
child 67134 66ce07e8dbf2
NEWS;
NEWS
     1.1 --- a/NEWS	Mon Dec 04 22:56:46 2017 +0100
     1.2 +++ b/NEWS	Mon Dec 04 23:07:44 2017 +0100
     1.3 @@ -61,6 +61,12 @@
     1.4      isabelle jedit -d '$AFP' -S Formal_SSA -A HOL
     1.5      isabelle jedit -d '$AFP' -S Formal_SSA -A HOL-Analysis
     1.6  
     1.7 +* Named control symbols (without special Unicode rendering) are shown as
     1.8 +bold-italic keyword. This is particularly useful for the short form of
     1.9 +antiquotations with control symbol: \<^name>\<open>argument\<close>. The action
    1.10 +"isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1
    1.11 +arguments into this format.
    1.12 +
    1.13  
    1.14  *** HOL ***
    1.15