--- a/src/Doc/System/Sessions.thy Mon Aug 11 13:16:36 2025 +0200
+++ b/src/Doc/System/Sessions.thy Mon Aug 11 20:29:04 2025 +0200
@@ -1211,13 +1211,13 @@
Options are:
-D DIR explicit session directory (default: private)
- -F FILE include addition session files, listed in FILE
+ -F FILE include additional session files, listed in FILE
-H REGEX filter messages by matching against head
-M REGEX filter messages by matching against body
-O output messages
-U output Unicode symbols
-d DIR include session directory
- -f FILE include addition session files
+ -f FILE include additional session file
-l NAME logic session name (default ISABELLE_LOGIC="HOL")
-m MARGIN margin for pretty printing (default: 76.0)
-o OPTION override Isabelle system OPTION (via NAME=VAL or NAME)