src/Pure/PIDE/session.scala

--- a/src/Pure/PIDE/session.scala	Fri Jun 27 13:24:05 2025 +0200
+++ b/src/Pure/PIDE/session.scala	Fri Jun 27 13:37:36 2025 +0200
@@ -273,6 +273,14 @@
       true
   }
 
+  def auto_resolve: Boolean = true
+  def deps_changed(): Unit = {}
+
+  def commit_change(change: Session.Change): Unit =
+    if (change.deps_changed || auto_resolve && resources.undefined_blobs(change.version).nonEmpty) {
+      deps_changed()
+    }
+
 
   /* buffered changes */
 
@@ -462,7 +470,7 @@
       global_state.change(_.define_version(change.version, assignment))
 
       prover.get.update(change.previous.id, change.version.id, change.doc_edits, change.consolidate)
-      resources.commit(change)
+      commit_change(change)
     //}}}
     }