[isabelle-dev] Open Issues with JinjaThreads entry

2011-10-02 Thread 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

Re: [isabelle-dev] Open Issues with JinjaThreads entry

2011-10-02 Thread Gerwin Klein
[sorry for the incomplete email before, mail client accident..] On 02/10/2011, at 6:57 PM, Lukas Bulwahn wrote: 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

Re: [isabelle-dev] Open Issues with JinjaThreads entry

2011-10-02 Thread Gerwin Klein
On 02/10/2011, at 6:57 PM, Lukas Bulwahn wrote: 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