[isabelle-dev] Open Issues with JinjaThreads entry

Lukas Bulwahn bulwahn at in.tum.de
Sun Oct 2 09:57:59 CEST 2011

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


still seem to be broken.

For people involved in this issue, here is a more detailed report:


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20111002/2ff6948c/attachment.html>

More information about the isabelle-dev mailing list