[isabelle-dev] NEWS: antiquoted cartouches

[Makarius]

*** Prover IDE -- Isabelle/Scala/jEdit ***

* 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.


This refers to Isabelle/540eeaf88a63.

Still required: update of various ML antiquotations to allow cartouche
arguments. Right now it already works e.g. for @{typ}, @{term}, @{prop}.


	Makarius