Oops, that was my own fault - sorry! Tobias
-------- Original Message -------- Subject: [isabelle-dev] [Fwd: status (AFP)] Date: Mon, 01 Sep 2008 12:12:00 +0200 From: Tobias Nipkow <nip...@in.tum.de> To: DEV Isabelle <isabelle-dev at in.tum.de> Integration has been failing for a couple of days now. Anybody feel responsible for fixing it? Most likely something to do with the reals... Tobias -------- Original Message -------- Subject: status (AFP) Date: Mon, 1 Sep 2008 12:07:05 +0200 (CEST) From: isat...@atbroy51.informatik.tu-muenchen.de (Account Isatest) To: undisclosed-recipients:; The status of the following AFP entries changed or remains FAIL: [Integration] is still on FAIL. Tested version: development Test ended on: atbroy51, Mon Sep 1 12:07:05 CEST 2008. 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/20080901/e5e606ca/attachment-0003.diff> -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: afp-test-devel-2008-09-01.log URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080901/e5e606ca/attachment-0004.diff> -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: file:///tmp/nsmail-3.txt%20curry URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080901/e5e606ca/attachment-0005.diff>