[isabelle-dev] NEWS: Prover IDE completion templates

[Makarius]

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

* Completion provides templates for named symbols with arguments,
e.g. "\<comment> \<open>ARGUMENT\<close>" or
"\<^emph>\<open>ARGUMENT\<close>".


This refers to Isabelle/3869b2400e22. In practice this means: complete
"\co" or "\em" and select the template from the popup -- the persistent
completion history will eventually prefer the frequently used forms.


	Makarius