[isabelle-dev] status (AFP)

[Gerwin Klein]

On 27/06/2012, at 12:06 AM, Makarius wrote:

> On Mon, 25 Jun 2012, Makarius wrote:
> 
>> We have a new record in unavailability.
>> 
>> Where is the isatest crontab now?  macbroy28 is still unavailable as we knew already several weeks ago.
>> 
>> In any case Admin/isatest should reflect the current state, both for the Isabelle and AFP crontab.
> 
> In the meantime I have started some attempts to reactivate isatest, see Isabelle/a29f3f44e198.

Sorry my fault, this totally went under. Thanks for reactivating it.

macbroy27 seems to be fine for now. The MTA's were suggesting we use a server machine. Does anyone know a suitable one?

Gerwin