--- 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))
})
--- 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,