[isabelle-dev] status (AFP)

Gerwin Klein gerwin.klein at nicta.com.au
Wed Jun 27 02:07:13 CEST 2012


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




More information about the isabelle-dev mailing list