src/Pure/Tools/update.scala

--- a/src/Pure/Tools/update.scala	Tue Jan 01 22:34:43 2019 +0100
+++ b/src/Pure/Tools/update.scala	Wed Jan 02 12:50:32 2019 +0100
@@ -43,6 +43,8 @@
       process_theory =
         (deps: Sessions.Deps, snapshot: Document.Snapshot, status: Document_Status.Node_Status) =>
         {
+          progress.echo("Processing theory " + snapshot.node_name + " ...")
+
           for ((node_name, node) <- snapshot.nodes) {
             val xml =
               snapshot.state.markup_to_XML(snapshot.version, node_name,