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