--- a/NEWS Mon Dec 04 22:56:46 2017 +0100
+++ b/NEWS Mon Dec 04 23:07:44 2017 +0100
@@ -61,6 +61,12 @@
isabelle jedit -d '$AFP' -S Formal_SSA -A HOL
isabelle jedit -d '$AFP' -S Formal_SSA -A HOL-Analysis
+* Named control symbols (without special Unicode rendering) are shown as
+bold-italic keyword. This is particularly useful for the short form of
+antiquotations with control symbol: \<^name>\<open>argument\<close>. The action
+"isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1
+arguments into this format.
+
*** HOL ***