--- a/src/Pure/Tools/build.ML Mon May 14 10:22:45 2018 +0200
+++ b/src/Pure/Tools/build.ML Mon May 14 10:58:14 2018 +0200
@@ -113,6 +113,9 @@
fun build_theories symbols bibtex_entries last_timing qualifier master_dir (options, thys) =
let
+ val context =
+ {options = options, symbols = symbols, bibtex_entries = bibtex_entries,
+ last_timing = last_timing};
val condition = space_explode "," (Options.string options "condition");
val conds = filter_out (can getenv_strict) condition;
in
@@ -121,13 +124,7 @@
Options.set_default options;
Isabelle_Process.init_options ();
Future.fork I;
- (Thy_Info.use_theories {
- document = Present.document_enabled (Options.string options "document"),
- symbols = symbols,
- bibtex_entries = bibtex_entries,
- last_timing = last_timing,
- qualifier = qualifier,
- master_dir = master_dir}
+ (Thy_Info.use_theories context qualifier master_dir
|>
(case Options.string options "profiling" of
"" => I