# HG changeset patch
# User wenzelm
# Date 1708198389 -3600
# Node ID 93e6ca9e7595507c45200993511a92f2bb41ff4f
# Parent  155bb0ae4ae228e4842a5bd5fdc970a3ea84a1a2
tuned documentation;

diff -r 155bb0ae4ae2 -r 93e6ca9e7595 etc/options
--- 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
diff -r 155bb0ae4ae2 -r 93e6ca9e7595 src/Doc/System/Sessions.thy
--- 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