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

[Tobias Nipkow]

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 <nipkow at 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: isatest at 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://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20080901/e5e606ca/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: afp-test-devel-2008-09-01.log
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20080901/e5e606ca/attachment-0001.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: file:///tmp/nsmail-3.txt%20curry
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20080901/e5e606ca/attachment-0002.ksh>