src/Pure/Tools/dump.scala

--- a/src/Pure/Tools/dump.scala	Mon Sep 03 19:44:10 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Mon Sep 03 20:04:51 2018 +0200
@@ -206,6 +206,12 @@
       val sessions = getopts(args)
 
       val progress = new Console_Progress(verbose = verbose)
+      {
+        override def theory_percentage(session: String, theory: String, percentage: Int)
+        {
+          if (verbose) echo(Progress.theory_message(session, theory) + ": " + percentage + "%")
+        }
+      }
 
       val result =
         progress.interrupt_handler {