--- a/src/Doc/System/Sessions.thy Sun Oct 01 12:28:52 2017 +0200
+++ b/src/Doc/System/Sessions.thy Sun Oct 01 13:07:31 2017 +0200
@@ -280,6 +280,7 @@
\<open>Usage: isabelle build [OPTIONS] [SESSIONS ...]
Options are:
+ -B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
-N cyclic shuffling of NUMA CPU nodes (performance tuning)
-R operate on requirements of selected sessions
@@ -329,6 +330,10 @@
completed by including all ancestors.
\<^medskip>
+ One or more options \<^verbatim>\<open>-B\<close>~\<open>NAME\<close> specify base sessions. All descendants
+ are included.
+
+ \<^medskip>
One or more options \<^verbatim>\<open>-x\<close>~\<open>NAME\<close> specify sessions to be excluded. All
descendents of excluded sessions are removed from the selection as specified
above. Option \<^verbatim>\<open>-X\<close> is analogous to this, but excluded sessions are
@@ -450,6 +455,7 @@
\<open>Usage: isabelle imports [OPTIONS] [SESSIONS ...]
Options are:
+ -B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
-I operation: report potential session imports
-M operation: Mercurial repository check for theory files
@@ -469,7 +475,7 @@
\<^medskip>
The selection of sessions and session directories works as for @{tool build}
- via options \<^verbatim>\<open>-D\<close>, \<^verbatim>\<open>-R\<close>, \<^verbatim>\<open>-X\<close>, \<^verbatim>\<open>-a\<close>, \<^verbatim>\<open>-d\<close>, \<^verbatim>\<open>-g\<close>, \<^verbatim>\<open>-x\<close> (see
+ via options \<^verbatim>\<open>-B\<close>, \<^verbatim>\<open>-D\<close>, \<^verbatim>\<open>-R\<close>, \<^verbatim>\<open>-X\<close>, \<^verbatim>\<open>-a\<close>, \<^verbatim>\<open>-d\<close>, \<^verbatim>\<open>-g\<close>, \<^verbatim>\<open>-x\<close> (see
\secref{sec:tool-build}).
\<^medskip>