[isabelle-dev] Open Issues with JinjaThreads entry

[Lukas Bulwahn]

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