*** 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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
