--- a/etc/options Sat Feb 17 17:33:27 2024 +0100
+++ b/etc/options Sat Feb 17 20:33:09 2024 +0100
@@ -90,7 +90,7 @@
section "Parallel Processing and Timing"
public option threads : int = 0 for build
- -- "maximum number of worker threads for prover process (0 = hardware max.)"
+ -- "maximum number of worker threads for prover process (0 = guess from hardware)"
option threads_trace : int = 0
-- "level of tracing information for multithreading"
option threads_stack_limit : real = 0.25
--- a/src/Doc/System/Sessions.thy Sat Feb 17 17:33:27 2024 +0100
+++ b/src/Doc/System/Sessions.thy Sat Feb 17 20:33:09 2024 +0100
@@ -279,10 +279,9 @@
\<^item> @{system_option_def "threads"} determines the number of worker threads
for parallel checking of theories and proofs. The default \<open>0\<close> means that a
- sensible maximum value is determined by the underlying hardware. For
- machines with many cores or with hyperthreading, this sometimes requires
- manual adjustment (on the command-line or within personal settings or
- preferences, not within a session \<^verbatim>\<open>ROOT\<close>).
+ sensible value is guessed from the underlying hardware. This sometimes
+ requires manual adjustment (on the command-line or within personal
+ settings or preferences, not within a session \<^verbatim>\<open>ROOT\<close>).
\<^item> @{system_option_def "condition"} specifies a comma-separated list of
process environment variables (or Isabelle settings) that are required for