[isabelle-dev] NEWS: Prover IDE completion templates

Makarius makarius at sketis.net
Thu Jan 11 14:59:53 CET 2018


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


More information about the isabelle-dev mailing list