--- a/src/Pure/Tools/build.scala Sat Mar 28 18:33:25 2020 +0100
+++ b/src/Pure/Tools/build.scala Sat Mar 28 19:11:59 2020 +0100
@@ -214,22 +214,22 @@
YXML.string_of_body(
{
import XML.Encode._
- pair(list(pair(string, int)), pair(list(properties), pair(bool, pair(bool,
+ pair(list(pair(string, int)), pair(list(properties), pair(bool,
pair(Path.encode, pair(list(pair(Path.encode, Path.encode)), pair(string,
pair(string, pair(string, pair(string, pair(Path.encode,
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(string))))))))))))))))))(
- (Symbol.codes, (command_timings, (do_output, (verbose,
+ pair(list(string), list(string)))))))))))))))))(
+ (Symbol.codes, (command_timings, (verbose,
(store.browser_info, (info.document_files, (File.standard_path(graph_file),
(parent, (info.chapter, (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, info.bibtex_entries.map(_.info))))))))))))))))))
})
val env =