--- a/src/Doc/System/Sessions.thy Sun May 23 21:03:32 2021 +0200
+++ b/src/Doc/System/Sessions.thy Sun May 23 22:46:30 2021 +0200
@@ -326,6 +326,7 @@
Options are:
-B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
+ -L FILE append syslog messages to given FILE
-N cyclic shuffling of NUMA CPU nodes (performance tuning)
-P DIR enable HTML/PDF presentation in directory (":" for default)
-R refer to requirements of selected sessions
@@ -460,6 +461,11 @@
the source files that contribute to a session.
\<^medskip>
+ Option \<^verbatim>\<open>-L\<close>~\<open>FILE\<close> appends syslog messages to the given file. Such messages
+ can be produced in Isabelle/ML via formal \<^ML>\<open>Output.system_message\<close> or
+ informal \<^ML>\<open>Output.physical_stderr\<close>.
+
+ \<^medskip>
Option \<^verbatim>\<open>-k\<close> specifies a newly proposed keyword for outer syntax (multiple
uses allowed). The theory sources are checked for conflicts wrt.\ this
hypothetical change of syntax, e.g.\ to reveal occurrences of identifiers