Re: [isabelle] jEdit: Abbreviations

What you could also do is install an abbreviation that does start with a non word character, e.g.,

\<alpha>  code: 0x0003b1  group: greek abbrev: #a

in your ~/.isabelle/Isabelle2013/etc/symbols. Of course you would have to do that for all Greek letters.

Now you can type '#a and will still get a completion suggestion for #a.

I'm not using automatic completion myself (I prefer to explicitly accept with \t), but it should be possible to activate that via SideKick options (sorry, I'm currently unable to investigate that due to the "gray rectangle bug" ;) ... but that's a completely different story that I should not have mentioned on the user mailing list... sorry for that).



On 02/14/2013 11:45 PM, Peter Lammich wrote:
You can type \<ga and that will bring it up.
Thanks that works

It gets even better. You can type <ga and it will bring up the
completion for gamma.

... But this leaves the "<" in place for me, and I end up with
  "'<\<gamma>" in the buffer.

I really would like some escape-character that brings up the completions
even inside words, optimally with automatic replacement as I'm used from


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.