# HG changeset patch
# User wenzelm
# Date 1546429832 -3600
# Node ID 676182f2e3757d632a48aceac66d89ac56b230b0
# Parent  2f78e0d73a34e09f5aa9cf3df1fcfd8093eaf958
tuned messages;

diff -r 2f78e0d73a34 -r 676182f2e375 src/Pure/Tools/dump.scala
--- a/src/Pure/Tools/dump.scala	Tue Jan 01 22:34:43 2019 +0100
+++ b/src/Pure/Tools/dump.scala	Wed Jan 02 12:50:32 2019 +0100
@@ -230,6 +230,8 @@
       process_theory =
         (deps: Sessions.Deps, snapshot: Document.Snapshot, status: Document_Status.Node_Status) =>
         {
+          progress.echo("Processing theory " + snapshot.node_name + " ...")
+
           val aspect_args = Aspect_Args(dump_options, progress, deps, output_dir, snapshot, status)
           aspects.foreach(_.operation(aspect_args))
         })
diff -r 2f78e0d73a34 -r 676182f2e375 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,