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
On 04/10/2011, at 4:59 PM, Andreas Lochbihler 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
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
[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
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