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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
