[isabelle-dev] status (AFP)
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