In an earlier message on this thread, you have posted a patch.
However,
I cannot apply this patch to the development repository, nor does the
revision "db3d3d99c69d", which your patch refers to, exist.
I suppose db3d3d99c69d is the id of the patch itself, and it has
already been applied on top of Isabelle/75623b4d6251 in the release
repository:
<https://bitbucket.org/isabelle_project/isabelle-release/commits/all>
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
