Re: [isabelle] Auto-suggest-theorem not working?
Never mind. It seemed not to be working for awhile, but now it is
working again. I have no idea about that.
On 10/30/2016 08:31 AM, Eugene W. Stark wrote:
> In Isabelle2016-1-RC1 I no longer observe the very useful behavior
> that when I am typing a "using" clause when I enter the prefix
> of the name of a theorem a tooltip pops up with theorems that
> match the portion of the name I had entered.
> I was enjoying this feature very much in Isabelle2016. It seemed
> somehow also to sort the theorems by some kind of relevance criteria,
> though that might have been my imagination. Is this feature
> broken/deleted in the release candidate, or do I just not know how
> to turn it on?
> - Gene Stark
This archive was generated by a fusion of
Pipermail (Mailman edition) and