Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature: more defaults;
authorwenzelm
Sun, 10 Aug 2025 22:06:24 +0200
changeset 82980 839d86abfe86
parent 82979 98faa43a2505
child 82981 4629fcbf53e2
tuned signature: more defaults;
src/Pure/Tools/process_theories.scala file | annotate | diff | comparison | revisions 
--- 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,
isabelle