# HG changeset patch
# User wenzelm
# Date 1588096236 -7200
# Node ID cdfa8f027bb9d0f2d1a26b44642da4b6746936aa
# Parent  62b17adad0cca1e6966eea583255c798f798a4d0
tuned messages;

diff -r 62b17adad0cc -r cdfa8f027bb9 src/Doc/System/Sessions.thy
--- 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")
diff -r 62b17adad0cc -r cdfa8f027bb9 src/Pure/Tools/build.scala
--- 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
diff -r 62b17adad0cc -r cdfa8f027bb9 src/Pure/Tools/dump.scala
--- 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) + """)
diff -r 62b17adad0cc -r cdfa8f027bb9 src/Pure/Tools/update.scala
--- 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) + """)