Re: [isabelle] Tuning opportunity for auto-completion in Isabelle/Jedit
> On Tue, 14 Apr 2015, Bertram Felgenhauer wrote:
> >Is it possible to disable this suppression of exact matches without having
> >to append an underscore? I think I would prefer that behavior.
> Semantic completion was already introduced in Isabelle2014 and did not
> change for Isabelle2015. So just formally, it would be a bad idea to tinker
> with it now, i.e. "fix it".
Right, I was wondering whether a flag for configuring this behavior
exists. But I guess I'll just have to become used to the suppressions.
This archive was generated by a fusion of
Pipermail (Mailman edition) and