[isabelle-dev] Fwd: status (AFP)
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.
> 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.
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.
More information about the isabelle-dev