[isabelle-dev] Cannot compile the latest version

Lawrence Paulson lp15 at cam.ac.uk
Thu Jul 7 18:05:43 CEST 2022

Sorry I forgot one needs to have the latest version of the AFP as well. Thanks

On 7 Jul 2022, 17:03 +0100, Fabian Huch <huch at in.tum.de>, wrote:

On which version of Isabelle/AFP are you on? Isabelle/be0865060346 +
AFP/1e0f664cffc8 works for me.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20220707/2a9dca2c/attachment-0001.htm>

More information about the isabelle-dev mailing list