# HG changeset patch
# User wenzelm
# Date 1678784757 -3600
# Node ID c14db5d674001e0f5668d7e1ce1dd01e7d568d45
# Parent  c55443f9fedd2d18ad4589db5ebce09741df77c1
tuned output;

diff -r c55443f9fedd -r c14db5d67400 src/Doc/System/Sessions.thy
--- a/src/Doc/System/Sessions.thy	Tue Mar 14 09:47:07 2023 +0100
+++ b/src/Doc/System/Sessions.thy	Tue Mar 14 10:05:57 2023 +0100
@@ -382,15 +382,18 @@
     -v           verbose
     -x NAME      exclude session NAME and all descendants
 
-  Build and manage Isabelle sessions, depending on implicit settings:
+  Build and manage Isabelle sessions: ML heaps, session databases, documents.
 
-  ISABELLE_TOOL_JAVA_OPTIONS="..."
-  ISABELLE_BUILD_OPTIONS="..."
+  Notable system options: see "isabelle options -l -t build"
 
-  ML_PLATFORM="..."
-  ML_HOME="..."
-  ML_SYSTEM="..."
-  ML_OPTIONS="..."\<close>}
+  Notable system settings:
+    ISABELLE_TOOL_JAVA_OPTIONS="..."
+    ISABELLE_BUILD_OPTIONS="..."
+
+    ML_PLATFORM="..."
+    ML_HOME="..."
+    ML_SYSTEM="..."
+    ML_OPTIONS="..."\<close>}
 
   \<^medskip>
   Isabelle sessions are defined via session ROOT files as described in
diff -r c55443f9fedd -r c14db5d67400 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Mar 14 09:47:07 2023 +0100
+++ b/src/Pure/Tools/build.scala	Tue Mar 14 10:05:57 2023 +0100
@@ -296,9 +296,12 @@
     -v           verbose
     -x NAME      exclude session NAME and all descendants
 
-  Build and manage Isabelle sessions, depending on implicit settings:
+  Build and manage Isabelle sessions: ML heaps, session databases, documents.
 
-""" + Library.indent_lines(2,  Build_Log.Settings.show()) + "\n",
+  Notable system options: see "isabelle options -l -t build"
+
+  Notable system settings:
+""" + Library.indent_lines(4,  Build_Log.Settings.show()) + "\n",
         "B:" -> (arg => base_sessions = base_sessions ::: List(arg)),
         "D:" -> (arg => select_dirs = select_dirs ::: List(Path.explode(arg))),
         "N" -> (_ => numa_shuffling = true),
@@ -424,7 +427,7 @@
 
   Run as external worker for session build process, as identified via
   option -U UUID.
-""" + Library.indent_lines(2,  Build_Log.Settings.show()) + "\n",
+""",
         "N" -> (_ => numa_shuffling = true),
         "U:" -> (arg => build_uuid = arg),
         "d:" -> (arg => dirs = dirs ::: List(Path.explode(arg))),