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.
tuned message (again);
authorwenzelm
Sun, 09 Sep 2018 17:49:15 +0200
changeset 68962 50676b0ab970
parent 68961 22a3790eecae
child 68964 ff6b594e4230
tuned message (again);
src/Pure/Thy/thy_resources.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/thy_resources.scala	Sun Sep 09 13:48:20 2018 +0200
+++ b/src/Pure/Thy/thy_resources.scala	Sun Sep 09 17:49:15 2018 +0200
@@ -270,9 +270,9 @@
                       (for {
                         (name, node_status) <- nodes_status1.present.iterator
                         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
+                        p1 = node_status.percentage
+                        if p1 > 0 && Some(p1) != st.nodes_status.get(name).map(_.percentage)
+                      } yield Progress.Theory(name.theory, percentage = Some(p1))).toList
 
                     (theory_progress, st.update(nodes_status1))
                   })
isabelle