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