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