src/Pure/Tools/build.scala
changeset 65471 05e5bffcf1d8
parent 65457 2bf0d2fcd506
child 65506 359fc6266a00
     1.1 --- a/src/Pure/Tools/build.scala	Wed Apr 12 21:13:43 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Wed Apr 12 22:32:55 2017 +0200
     1.3 @@ -205,14 +205,14 @@
     1.4                  pair(Path.encode, pair(list(pair(Path.encode, Path.encode)), pair(string,
     1.5                  pair(string, pair(string, pair(string, pair(Path.encode,
     1.6                  pair(list(pair(Options.encode, list(string))),
     1.7 -                pair(list(pair(string, string)),
     1.8 -                pair(list(pair(string, string)), list(pair(string, string))))))))))))))))(
     1.9 +                pair(list(pair(string, string)), pair(list(pair(string, string)),
    1.10 +                list(pair(string, string))))))))))))))))(
    1.11                (Symbol.codes, (command_timings, (do_output, (verbose,
    1.12                  (store.browser_info, (info.document_files, (File.standard_path(graph_file),
    1.13                  (parent, (info.chapter, (name, (Path.current,
    1.14                  (info.theories,
    1.15 -                (base.global_theories.toList,
    1.16 -                (base.dest_loaded_theories, base.dest_known_theories)))))))))))))))
    1.17 +                (base.global_theories.toList, (base.loaded_theories.toList,
    1.18 +                base.dest_known_theories)))))))))))))))
    1.19              })
    1.20  
    1.21          val env =