[isabelle-dev] [Fwd: status changed (AFP)]

[Tobias Nipkow]

Somebody broke Flyspeck. Pls fix.

Tobias

-------- Original-Nachricht --------
Betreff: status changed (AFP)
Datum: Fri,  3 Aug 2007 09:13:34 +0200 (CEST)
Von: isatest at informatik.tu-muenchen.de (Account Isatest)
An: undisclosed-recipients: ;

The status of the following AFP entries changed:
[Flyspeck-Tame] changed from ok to FAIL.

Tested version: development
Test ended on: atbroy51, Fri Aug  3 09:13:34 CEST 2007.

Have a nice day,
   isatest


-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: report-devel
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20070803/0b12f562/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: afp-test-devel-2007-08-03.log
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20070803/0b12f562/attachment-0001.ksh>