[isabelle-dev] Failure of AFP/Polylog

Makarius makarius at sketis.net
Tue Mar 12 23:09:08 CET 2024

>> 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.


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.


More information about the isabelle-dev mailing list