[isabelle-dev] Fwd: status (AFP)

Makarius makarius at sketis.net
Mon Sep 24 21:33:57 CEST 2012


On Fri, 21 Sep 2012, Lukas Bulwahn wrote:

> 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

Did you do anything, or did it come back by itself?

In the meantime I also killed a number of inactive poly processes on the 
usual test machines.


 	Makarius



More information about the isabelle-dev mailing list