[isabelle-dev] Fwd: status (AFP)

[Gerwin Klein]

The afp test is now back to normal operation and the devel website update is working again as well.

The two below are real failures, possibly have been there for a while masked by the problems the test had.

Cheers,
Gerwin

Begin forwarded message:

> From: isatest at macbroy2.informatik.tu-muenchen.de (Isabelle )
> Subject: status (AFP)
> Date: 16 December 2012 5:59:14 PM AEDT
> To: undisclosed-recipients:;
> 
> The status of the following AFP entries changed or remains FAIL: 
> [Possibilistic_Noninterference] is still on FAIL.
> [Separation_Logic_Imperative_HOL] is still on FAIL.
> 
> Full entry status at http://afp.sourceforge.net/status.shtml
> 
> AFP version: development -- hg id 519e8aa3ea9f
> Isabelle version: devel -- hg id e4dc37ec1427
> Test ended on: macbroy2, Sun Dec 16 07:59:14 CET 2012.
> 
> Have a nice day,
>  isatest
> 
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: report-devel.txt
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20121217/0e957af2/attachment-0001.txt>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: afp-test-devel-2012-12-16.log
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20121217/0e957af2/attachment-0001.log>
-------------- next part --------------
>