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.
unused;
authorwenzelm
Thu, 27 Dec 2018 16:59:55 +0100
changeset 69522 9457d85204f5
parent 69521 0428fd0a13b7
child 69523 9403ff523825
unused;
src/Pure/Tools/dump.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/dump.scala	Thu Dec 27 16:32:19 2018 +0100
+++ b/src/Pure/Tools/dump.scala	Thu Dec 27 16:59:55 2018 +0100
@@ -93,7 +93,6 @@
     dirs: List[Path] = Nil,
     select_dirs: List[Path] = Nil,
     output_dir: Path = default_output_dir,
-    verbose: Boolean = false,
     system_mode: Boolean = false,
     selection: Sessions.Selection = Sessions.Selection.empty): Boolean =
   {
@@ -245,7 +244,6 @@
             dirs = dirs,
             select_dirs = select_dirs,
             output_dir = output_dir,
-            verbose = verbose,
             selection = Sessions.Selection(
               requirements = requirements,
               all_sessions = all_sessions,
isabelle