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://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20070803/0b12f562/attachment.diff -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: afp-test-devel-2007-08-03.log Url: https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20070803/0b12f562/attachment-0001.diff
