[isabelle-dev] Sidekick completion in Isabelle/jEdit
makarius at sketis.net
Sat Apr 21 13:20:04 CEST 2012
On Sat, 21 Apr 2012, Christian Sternagel wrote:
>> You should be able to use all characters in accept-characters to finish
>> the completion. I've just \t in there (not \n) and it works fine for me.
>> I removed \n, as this completes ":" to \<in> at the end of a line (like
>> in "lemma Foo:\n" ...
> For me "\t" does not work as an accept character (nothing happens when I
> type "\t"... that's the only reason why I use "\n").
I would also prefer \t, but it does nothing for me.
from 23-Dec-2011, which is a bit odd to appear on jEdit-users, since
Matthieu Casanova is one of the jEdit cracks so I would have expected a
tracker item or jEdit-devel posting by him.
More information about the isabelle-dev