[isabelle-dev] Find_Theorems interface
lammich at in.tum.de
Thu Nov 25 18:06:33 CET 2021
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.
More information about the isabelle-dev