--- a/src/Pure/PIDE/document.scala Tue Sep 16 11:23:50 2025 +0200
+++ b/src/Pure/PIDE/document.scala Tue Sep 16 11:58:46 2025 +0200
@@ -1312,13 +1312,6 @@
else Nil
}
- def node_initialized(version: Version, name: Node.Name): Boolean =
- name.is_theory &&
- (version.nodes(name).commands.iterator.find(_.potentially_initialized) match {
- case None => false
- case Some(command) => command_states(version, command).headOption.exists(_.initialized)
- })
-
def node_maybe_consolidated(version: Version, name: Node.Name): Boolean =
name.is_theory &&
version.nodes(name).commands.reverse.iterator.forall(command_maybe_consolidated(version, _))