# HG changeset patch
# User wenzelm
# Date 1536493214 -7200
# Node ID d4223afddd478c9ce07234ac4a4a4b4f4e3600be
# Parent  9199f9da512a586f5f11e051b28175572b9a6086
clarified message;

diff -r 9199f9da512a -r d4223afddd47 src/Pure/Thy/thy_resources.scala
--- a/src/Pure/Thy/thy_resources.scala	Sun Sep 09 12:02:30 2018 +0200
+++ b/src/Pure/Thy/thy_resources.scala	Sun Sep 09 13:40:14 2018 +0200
@@ -269,7 +269,7 @@
                     val theory_progress =
                       (for {
                         (name, node_status) <- nodes_status1.present.iterator
-                        if changed.nodes.contains(name) && !version.nodes(name).is_empty
+                        if changed.nodes.contains(name) && !st.already_committed.isDefinedAt(name)
                         percentage = Some(node_status.percentage)
                         if percentage != st.nodes_status.get(name).map(_.percentage)
                       } yield Progress.Theory(name.theory, percentage = percentage)).toList