src/Pure/System/progress.scala

--- a/src/Pure/System/progress.scala	Mon Nov 11 17:32:40 2019 +0100
+++ b/src/Pure/System/progress.scala	Tue Nov 12 16:02:29 2019 +0100
@@ -60,7 +60,7 @@
 class Console_Progress(verbose: Boolean = false, stderr: Boolean = false) extends Progress
 {
   override def echo(msg: String): Unit =
-    Output.writeln(msg, stdout = !stderr)
+    Output.writeln(msg, stdout = !stderr, include_empty = true)
 
   override def theory(theory: Progress.Theory): Unit =
     if (verbose) echo(theory.message)