Re: [isabelle] Tuning opportunity for auto-completion in Isabelle/Jedit



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

Cheers,

Bertram





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