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