[isabelle-dev] NEWS

Makarius makarius at sketis.net
Tue Apr 24 16:04:33 CEST 2012

On Mon, 23 Apr 2012, Johannes Hölzl wrote:

> Session HOL-Probability

This is indeed quite fast now.

Just FYI/FYA, this is the new session on 8 cores x86-darwin with Poly/ML 
SVN 1503, where David Matthews is still working heavily:

Timing HOL-Probability (8 threads, 21.634s elapsed time, 124.485s cpu time, 6.892s GC time, factor 5.75)
Finished HOL-Probability (0:00:39 elapsed time, 0:02:27 cpu time, factor 3.76)


More information about the isabelle-dev mailing list