--- a/src/Pure/Tools/build.scala Wed Nov 17 15:09:10 2021 +0100
+++ b/src/Pure/Tools/build.scala Wed Nov 17 20:49:09 2021 +0100
@@ -506,9 +506,11 @@
Presentation.update_chapter(presentation_dir, chapter, entries)
}
- val state = new Presentation.State { override val cache: Term.Cache = store.cache }
+ using(store.open_database_context())(db_context =>
+ {
+ val exports =
+ Presentation.read_exports(presentation_sessions.map(_.name), deps, db_context)
- using(store.open_database_context())(db_context =>
Par_List.map((session: String) =>
{
progress.expose_interrupt()
@@ -519,12 +521,14 @@
override def root_dir: Path = presentation_dir
override def theory_session(name: Document.Node.Name): Sessions.Info =
deps.sessions_structure(deps(session).theory_qualifier(name))
+ override def theory_exports: Map[String, Export_Theory.Theory] = exports
}
Presentation.session_html(
session, deps, db_context, progress = progress,
- verbose = verbose, html_context = html_context, state = state,
+ verbose = verbose, html_context = html_context,
Presentation.elements1)
- }, presentation_sessions.map(_.name)))
+ }, presentation_sessions.map(_.name))
+ })
}
}