--- 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
--- 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))),