[isabelle-dev] Fwd: status (AFP)

[Lukas Bulwahn]

I am just at the moment trying to get it running again.

Lukas

On 09/21/2012 10:54 AM, Jasmin Christian Blanchette wrote:
> Am 21.09.2012 um 09:18 schrieb Tobias Nipkow:
>
>> The testboard runs most of the AFP.
> For the last three days, neither the tests nor testboard have been working.
>
>      http://isabelle.in.tum.de/reports/Isabelle
>      http://isabelle.in.tum.de/testboard/Isabelle
>
> Jasmin
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev