Hello all,
the traditional isatest's AFP-Test did not report any failures the last few days, but the emerging testboard infrastructure mentions failures over the last few versions, and the current tips
76aec35b4898934df700ee54ce4d8fb7b99b0388:AFP,fa3715b35370fd27bc9e6bd03fad4a34b0724af3:Isabelle
still seem to be broken. For people involved in this issue, here is a more detailed report: http://isabelle.in.tum.de/reports/Isabelle/report/37c2d104871b443f8b6dbd0a8b8b0314 Lukas
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
