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 output;
authorwenzelm
Sat, 08 Sep 2018 11:44:47 +0200
changeset 68941 c192c8f9f19b
parent 68937 cbf5475a0f66
child 68942 4709898282a6
tuned output;
src/Pure/Tools/dump.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/dump.scala	Fri Sep 07 23:48:19 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Sat Sep 08 11:44:47 2018 +0200
@@ -237,7 +237,7 @@
 
       val sessions = getopts(args)
 
-      val progress = new Console_Progress(verbose = verbose)
+      val progress = new Console_Progress()
       {
         override def theory_percentage(session: String, theory: String, percentage: Int)
         {
isabelle