# HG changeset patch
# User wenzelm
# Date 1754936944 -7200
# Node ID eacbf9361b8d89719fba73817de311a60cf2f574
# Parent  96010245b7315a29e0ad8f5ad6f22720f0f22f77
tuned spelling;

diff -r 96010245b731 -r eacbf9361b8d src/Doc/System/Sessions.thy
--- 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)
diff -r 96010245b731 -r eacbf9361b8d src/Pure/Tools/process_theories.scala
--- a/src/Pure/Tools/process_theories.scala	Mon Aug 11 13:16:36 2025 +0200
+++ b/src/Pure/Tools/process_theories.scala	Mon Aug 11 20:29:04 2025 +0200
@@ -155,13 +155,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=""" + quote(logic) + """)
     -m MARGIN    margin for pretty printing (default: """ + margin + """)
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)