src/Pure/Tools/build.scala

 
     private val future_result: Future[Process_Result] =
       Future.thread("build") {
         val parent = info.parent.getOrElse("")
 
-        val known_theories =
-          for ((theory, node_name) <- deps(name).known_theories.toList)
-            yield (theory, node_name.node)
-
         val args_yxml =
           YXML.string_of_body(
             {
               import XML.Encode._
               pair(list(pair(string, int)), pair(list(properties), pair(bool, pair(bool,

                 list(pair(string, string))))))))))))))(
               (Symbol.codes, (command_timings, (do_output, (verbose,
                 (store.browser_info, (info.document_files, (File.standard_path(graph_file),
                 (parent, (info.chapter, (name, (Path.current,
                 (info.theories,
-                known_theories)))))))))))))
+                deps(name).dest_known_theories)))))))))))))
             })
 
         val env =
           Isabelle_System.settings() +
             ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString)