[isabelle-dev] NEWS

Makarius makarius at sketis.net
Wed Jan 2 17:04:32 CET 2008


* Multithreading.max_threads := 0 refers to the number of actual CPU
cores of the underlying machine, which is a good starting point for
optimal performance tuning.  The corresponding usedir option -M allows
"max" as an alias for "0".  WARNING: does not work on certain
versions of Mac OS (with Poly/ML 5.1).



More information about the isabelle-dev mailing list