[isabelle-dev] status (AFP)

Makarius makarius at sketis.net
Tue Jun 26 16:06:36 CEST 2012

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 


More information about the isabelle-dev mailing list