--- a/src/Pure/System/progress.scala Mon Sep 03 19:44:10 2018 +0200
+++ b/src/Pure/System/progress.scala Mon Sep 03 20:04:51 2018 +0200
@@ -21,6 +21,7 @@
def echo(msg: String) {}
def echo_if(cond: Boolean, msg: String) { if (cond) echo(msg) }
def theory(session: String, theory: String) {}
+ def theory_percentage(session: String, theory: String, percentage: Int) {}
def nodes_status(nodes_status: Document_Status.Nodes_Status, names: List[Document.Node.Name]) {}
def echo_warning(msg: String) { echo(Output.warning_text(msg)) }