[isabelle-dev] AFP: Session AVL-Trees broken

Johannes Hölzl hoelzl at in.tum.de
Thu Nov 8 12:18:15 CET 2012

Am Donnerstag, den 08.11.2012, 09:40 +1100 schrieb Gerwin Klein:
> The solution may be to just increase timeouts. On the other hand, this
> whole thing used to work just fine and started to go haywire
> 2012-10-19, then the log files are cut off in the middle at
> HOL-Probability (probably nonterminating, I guess these sessions
> should get a timeout too, the old setup was cumulative), HOL-Probality
> worked on 2012-10-26 (but then timeouts), then again stuck at
> HOL-Probability, and since 2012-10-28 mostly timeouts.

Just as another data point: I regularly build the HOL-Probability image
from the repository on my machine (32-bit linux, Core 2 Duo, 4GB ram)
and I never had a problem in the last months.

 - Johannes

More information about the isabelle-dev mailing list