--- a/src/Pure/Tools/build.scala Sun Nov 15 18:16:20 2020 +0100
+++ b/src/Pure/Tools/build.scala Sun Nov 15 22:00:45 2020 +0100
@@ -180,15 +180,18 @@
pair(list(pair(Options.encode, list(pair(string, properties)))),
pair(list(pair(string, properties)),
pair(list(pair(string, string)),
- pair(list(string), pair(list(pair(string, string)),
- pair(list(string), list(pair(string, list(string))))))))))))))))))(
+ pair(list(pair(string, string)),
+ pair(list(string),
+ pair(list(pair(string, 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,
+ (sessions_structure.session_chapters,
(base.doc_names, (base.global_theories.toList,
- (base.loaded_theories.keys, sessions_structure.bibtex_entries))))))))))))))))
+ (base.loaded_theories.keys, sessions_structure.bibtex_entries)))))))))))))))))
})
val env =