# HG changeset patch # User nipkow # Date 1750951833 -7200 # Node ID 59b937edcff8a7c10e00fb290863855b1b915d46 # Parent 4a1320dac3f34426ad4a1a069a60987ba5946f11# Parent 40e4e955c846e25e4f74bf4b70fb15fe2aac27ac merged diff -r 40e4e955c846 -r 59b937edcff8 src/Pure/Build/build_job.scala --- 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, diff -r 40e4e955c846 -r 59b937edcff8 src/Pure/PIDE/session.scala --- 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 diff -r 40e4e955c846 -r 59b937edcff8 src/Pure/ROOT.ML --- 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.