[isabelle-dev] Find_Theorems interface

[Makarius]

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