--- a/src/Doc/System/Sessions.thy Mon Apr 27 23:39:15 2020 +0200
+++ b/src/Doc/System/Sessions.thy Tue Apr 28 19:50:36 2020 +0200
@@ -299,7 +299,7 @@
-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
+ -R refer to requirements of selected sessions
-S soft build: only observe changes of sources, not heap images
-X NAME exclude sessions from group NAME and all descendants
-a select all sessions
@@ -548,7 +548,7 @@
-B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
-O DIR output directory for dumped files (default: "dump")
- -R operate on requirements of selected sessions
+ -R refer to requirements of selected sessions
-X NAME exclude sessions from group NAME and all descendants
-a select all sessions
-b NAME base logic image (default "Pure")
@@ -624,7 +624,7 @@
Options are:
-B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
- -R operate on requirements of selected sessions
+ -R refer to requirements of selected sessions
-X NAME exclude sessions from group NAME and all descendants
-a select all sessions
-b NAME base logic image (default "Pure")
--- a/src/Pure/Tools/build.scala Mon Apr 27 23:39:15 2020 +0200
+++ b/src/Pure/Tools/build.scala Tue Apr 28 19:50:36 2020 +0200
@@ -837,7 +837,7 @@
-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
+ -R refer to requirements of selected sessions
-S soft build: only observe changes of sources, not heap images
-X NAME exclude sessions from group NAME and all descendants
-a select all sessions
--- a/src/Pure/Tools/dump.scala Mon Apr 27 23:39:15 2020 +0200
+++ b/src/Pure/Tools/dump.scala Tue Apr 28 19:50:36 2020 +0200
@@ -450,7 +450,7 @@
-B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
-O DIR output directory for dumped files (default: """ + default_output_dir + """)
- -R operate on requirements of selected sessions
+ -R refer to requirements of selected sessions
-X NAME exclude sessions from group NAME and all descendants
-a select all sessions
-b NAME base logic image (default """ + isabelle.quote(default_logic) + """)
--- a/src/Pure/Tools/update.scala Mon Apr 27 23:39:15 2020 +0200
+++ b/src/Pure/Tools/update.scala Tue Apr 28 19:50:36 2020 +0200
@@ -83,7 +83,7 @@
Options are:
-B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
- -R operate on requirements of selected sessions
+ -R refer to requirements of selected sessions
-X NAME exclude sessions from group NAME and all descendants
-a select all sessions
-b NAME base logic image (default """ + isabelle.quote(Dump.default_logic) + """)