[isabelle-dev] status (AFP)

Makarius makarius at sketis.net
Mon Jun 25 11:30:22 CEST 2012

On Wed, 20 Jun 2012, Gerwin Klein wrote:

> According to the log, the test didn't run Jun 16-18 which are the days 
> with NFS trouble.

You probably mean ~isatest/afp/afp-test.log, because 
~isatest/log/isatest.log and http://isabelle.in.tum.de/devel agree that 
the last successful Isabelle isatest was at the end of May.  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.


More information about the isabelle-dev mailing list