[isabelle-dev] Sidekick completion in Isabelle/jEdit

Makarius 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.

See also 
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 mailing list