diff -r 642ecd97d35c -r 5d84eec43114 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sat Jul 30 11:35:04 2022 +0200
+++ b/src/Pure/Tools/build.scala	Sat Jul 30 13:06:19 2022 +0200
@@ -495,8 +495,8 @@
         }
 
         using(store.open_database_context()) { db_context =>
-          val exports =
-            Presentation.read_exports(presentation_sessions.map(_.name), deps, db_context)
+          val presentation_nodes =
+            Presentation.read_nodes(presentation_sessions.map(_.name), deps, db_context)
 
           Par_List.map({ (session: String) =>
             progress.expose_interrupt()
@@ -507,7 +507,7 @@
                 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: Presentation.Theory_Exports = exports
+                override def nodes: Presentation.Nodes = presentation_nodes
               }
             Presentation.session_html(
               session, deps, db_context, progress = progress,