src/Pure/Tools/build.scala
changeset 67297 86a099f896fc
parent 67219 81e9804b2014
child 67380 8bef51521f21
     1.1 --- a/src/Pure/Tools/build.scala	Thu Dec 28 23:39:02 2017 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Fri Dec 29 17:40:57 2017 +0100
     1.3 @@ -213,13 +213,15 @@
     1.4                  pair(string, pair(string, pair(string, pair(Path.encode,
     1.5                  pair(list(pair(Options.encode, list(pair(string, properties)))),
     1.6                  pair(list(string), pair(list(pair(string, string)), pair(list(string),
     1.7 -                list(pair(string, string)))))))))))))))))(
     1.8 +                pair(list(pair(string, string)), list(string)))))))))))))))))(
     1.9                (Symbol.codes, (command_timings, (do_output, (verbose,
    1.10                  (store.browser_info, (info.document_files, (File.standard_path(graph_file),
    1.11                  (parent, (info.chapter, (name, (Path.current,
    1.12                  (info.theories, (base.known.sessions.toList,
    1.13 -                (base.global_theories.toList, (base.loaded_theories.keys,
    1.14 -                base.dest_known_theories))))))))))))))))
    1.15 +                (base.global_theories.toList,
    1.16 +                (base.loaded_theories.keys,
    1.17 +                (base.dest_known_theories,
    1.18 +                info.bibtex_entries.map(_.info))))))))))))))))))
    1.19              })
    1.20  
    1.21          val env =