--- a/src/Pure/Build/build_job.scala Thu Jun 26 17:30:16 2025 +0200
+++ b/src/Pure/Build/build_job.scala Thu Jun 26 17:30:33 2025 +0200
@@ -172,7 +172,7 @@
val session =
new Session(options) {
- override val store: Store = store
+ override val store: Store = build_context.store
override val resources: Resources =
new Resources(session_background, log = log,
--- a/src/Pure/PIDE/session.scala Thu Jun 26 17:30:16 2025 +0200
+++ b/src/Pure/PIDE/session.scala Thu Jun 26 17:30:33 2025 +0200
@@ -130,7 +130,7 @@
def print_now(): String = (Time.now() - init_time).toString
val store: Store = Store(_session_options)
- def cache: Rich_Text.Cache = if (store == null) Rich_Text.Cache.make() else store.cache
+ def cache: Rich_Text.Cache = store.cache
def build_blobs_info(name: Document.Node.Name): Command.Blobs_Info = Command.Blobs_Info.empty
def build_blobs(name: Document.Node.Name): Document.Blobs = Document.Blobs.empty
--- a/src/Pure/ROOT.ML Thu Jun 26 17:30:16 2025 +0200
+++ b/src/Pure/ROOT.ML Thu Jun 26 17:30:33 2025 +0200
@@ -1,6 +1,6 @@
(* Title: Pure/ROOT.ML
Author: Makarius
- UUID: afd90a19-201a-461b-b4ef-b3adfa88969d
+ UUID: a83d12be-3568-49ab-9484-a84de5cee2bf
Main entry point for the Isabelle/Pure bootstrap process.