[isabelle-dev] Open Issues with JinjaThreads entry
bulwahn at in.tum.de
Sun Oct 2 09:57:59 CEST 2011
the traditional isatest's AFP-Test did not report any failures the last
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...
More information about the isabelle-dev