[isabelle-dev] Find_Theorems interface

[Peter Lammich]

On Thu, 2021-11-25 at 16:53 +0100, Makarius wrote:
> On 13/11/2021 19:05, Makarius wrote:
> > The isabelle-dev repository is already for Isabelle2022.
> > 
> > If you want anything in Isabelle2021-1, you need to show me a
> > changeset
> > (result of "hg export" wrt. a clone of
> > https://isabelle.sketis.net/repos/isabelle-release).
> 
> This is still open. Is there anything you want to have changed in the
> Find_Theorems signature?

not for the next release. It's not a regression of this release, and as
my schedule is tight, I'll live with the same hack for one more release
cycle, rather than trying to rush something now.

Peter

> 
> 
> 	Makarius
>