[isabelle-dev] AFP: Session AVL-Trees broken
kleing at cse.unsw.edu.au
Wed Nov 7 22:22:18 CET 2012
If I run sessions manually, they work fine, but they fail in the cron job with timeout (even small ones like Separation_Algebra).
This has been going on for a while. Does anyone have an idea what's going on?
Is there something else running on macbroy2 at the same time that takes a lot of resources?
On 08/11/2012, at 7:32 AM, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> Anybody any ideas what went wrong!?
> PGP available:
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev