--- 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 =