# HG changeset patch
# User wenzelm
# Date 1666038272 -7200
# Node ID 79ef5d0fff008c4357926aa75fe35a9ee338fe2c
# Parent  f70b015e4ac1972480764022313784d560200bf5
more robust, e.g. for "isabelle dump";

diff -r f70b015e4ac1 -r 79ef5d0fff00 src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Mon Oct 17 20:24:15 2022 +0200
+++ b/src/Pure/PIDE/headless.scala	Mon Oct 17 22:24:32 2022 +0200
@@ -258,8 +258,8 @@
                   if (loaded_theory(name)) make_nodes(rest, output)
                   else {
                     val status = Document_Status.Node_Status.make(state, version, name)
-                    if (stopped || status.consolidated) make_nodes(rest, (name -> status) :: output)
-                    else None
+                    val ok = if (commit.isDefined) committed(name) else status.consolidated
+                    if (stopped || ok) make_nodes(rest, (name -> status) :: output) else None
                   }
                 case Nil => Some(output)
               }