I know. Fix will be committed soon. Larry > 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.