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 > _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
