src/Doc/System/Sessions.thy
changeset 67140 386a31d6d17a
parent 66993 2c2a346cfe70
child 67605 3dd0dfe04fcb
     1.1 --- a/src/Doc/System/Sessions.thy	Tue Dec 05 15:55:14 2017 +0100
     1.2 +++ b/src/Doc/System/Sessions.thy	Tue Dec 05 16:03:58 2017 +0100
     1.3 @@ -195,6 +195,10 @@
     1.4      possible to use different document variant names (without tags) for
     1.5      different document root entries, see also \secref{sec:tool-document}.
     1.6  
     1.7 +    \<^item> @{system_option_def "document_tags"} specifies a default for otherwise
     1.8 +    untagged commands. This is occasionally useful to control the global
     1.9 +    visibility of commands via session options (e.g. in \<^verbatim>\<open>ROOT\<close>).
    1.10 +
    1.11      \<^item> @{system_option_def "threads"} determines the number of worker threads
    1.12      for parallel checking of theories and proofs. The default \<open>0\<close> means that a
    1.13      sensible maximum value is determined by the underlying hardware. For