--- a/src/Doc/System/Sessions.thy Thu Dec 10 21:48:53 2020 +0100
+++ b/src/Doc/System/Sessions.thy Thu Dec 10 22:15:16 2020 +0100
@@ -546,6 +546,9 @@
\<^medskip> Options \<^verbatim>\<open>-m\<close> and \<^verbatim>\<open>-U\<close> modify pretty printing and output of Isabelle
symbols. The default is for an old-fashioned ASCII terminal at 80 characters
per line (76 + 4 characters to prefix warnings or errors).
+
+ \<^medskip> Option \<^verbatim>\<open>-v\<close> prints all messages from the session database, including
+ extra information and tracing messages etc.
\<close>
subsubsection \<open>Examples\<close>