diff -r 878c73cdfa0d -r d01ea9e3bd2d src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sat Nov 14 17:29:37 2020 +0100
+++ b/src/Pure/Tools/build.scala	Sun Nov 15 17:34:19 2020 +0100
@@ -181,14 +181,14 @@
                 pair(list(pair(string, properties)),
                 pair(list(pair(string, string)),
                 pair(list(string), pair(list(pair(string, string)),
-                pair(list(string), list(string))))))))))))))))(
+                pair(list(string), list(pair(string, list(string))))))))))))))))))(
               (Symbol.codes, (command_timings0, (verbose, (store.browser_info,
                 (documents, (parent, (info.chapter, (session_name, (Path.current,
                 (info.theories,
                 (sessions_structure.session_positions,
                 (sessions_structure.dest_session_directories,
                 (base.doc_names, (base.global_theories.toList,
-                (base.loaded_theories.keys, info.bibtex_entries.map(_.info)))))))))))))))))
+                (base.loaded_theories.keys, sessions_structure.bibtex_entries))))))))))))))))
             })
 
         val env =