Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified message;
authorwenzelm
Sun, 09 Sep 2018 13:40:14 +0200
changeset 68959 d4223afddd47
parent 68958 9199f9da512a
child 68960 b85d509e7cbf
clarified message;
src/Pure/Thy/thy_resources.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle