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

[Tobias Nipkow]

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