[isabelle-dev] Find_Theorems interface

Makarius makarius at sketis.net
Thu Nov 25 16:53:08 CET 2021

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?


More information about the isabelle-dev mailing list