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/fea2cd3b/attachment-0001.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/fea2cd3b/attachment-0002.diff>