[isabelle-dev] Failure of AFP/Polylog

[Makarius]

>> On 12 Mar 2024, at 16:13, Makarius <makarius at sketis.net> wrote:
>>
>> We currently have a failure of AFP/Polylog, using Isabelle/1e7b5a258bc5 + AFP/dbd87cb0c2b5.

On 12/03/2024 17:15, Lawrence Paulson wrote:
 > I know. Fix will be committed soon.

Great.

In Isabelle/3d02d5d4a43c + AFP/8fe984df90de everything works again, and we can 
continue critical testing for a paper that is to be submitted to ITP2024 in < 
1 week.


	Makarius