[isabelle-dev] status (AFP)

Lukas Bulwahn bulwahn at in.tum.de
Tue Jun 19 14:50:22 CEST 2012

Hi all,

since 06/05/2012, I have not received any status (AFP) emails, although 
it should have been failing the last days.
(After Isabelle:e7e647949c95, the theory LinearQuantifierElim was 
failing, and I just fixed with AFP:96f043cb412e.)

Is the AFP test script still working properly?
Maybe latest changes to the contrib directories broke the test script?


On 06/05/2012 09:51 AM, Isabelle wrote:
> The status of the following AFP entries changed or remains FAIL:
> [JinjaThreads] changed from FAIL to ok.
> Full entry status at http://afp.sourceforge.net/status.shtml
> AFP version: development -- hg id 4c44fdeca962
> Isabelle version: devel -- hg id 72acba14c12b
> Test ended on: macbroy2, Tue Jun  5 09:51:34 CEST 2012.
> Have a nice day,
>    isatest

More information about the isabelle-dev mailing list