[isabelle-dev] status (AFP)

[Makarius]

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.


 	Makarius