# HG changeset patch
# User wenzelm
# Date 1754856384 -7200
# Node ID 839d86abfe86ed4a3a4992f2f20a023a3829351c
# Parent  98faa43a25055f02530e20719d31947a99f3ba07
tuned signature: more defaults;

diff -r 98faa43a2505 -r 839d86abfe86 src/Pure/Tools/process_theories.scala
--- a/src/Pure/Tools/process_theories.scala	Sun Aug 10 21:44:42 2025 +0200
+++ b/src/Pure/Tools/process_theories.scala	Sun Aug 10 22:06:24 2025 +0200
@@ -22,12 +22,12 @@
   def process_theories(
     options: Options,
     logic: String,
-    theories: List[String],
+    theories: List[String] = Nil,
     files: List[Path] = Nil,
     dirs: List[Path] = Nil,
     output_messages: Boolean = false,
-    message_head: List[Regex],
-    message_body: List[Regex],
+    message_head: List[Regex] = Nil,
+    message_body: List[Regex] = Nil,
     margin: Double = Pretty.default_margin,
     breakgain: Double = Pretty.default_breakgain,
     metric: Pretty.Metric = Symbol.Metric,