src/Pure/Admin/build_history.scala

   def remote_build_history(
     ssh: SSH.Session,
     isabelle_repos_self: Path,
     isabelle_repos_other: Path,
     isabelle_repos_source: String = "http://isabelle.in.tum.de/repos/isabelle",
+    isabelle_identifier: String = default_isabelle_identifier,
     self_update: Boolean = false,
     push_isabelle_home: Boolean = false,
     progress: Progress = No_Progress,
     options: String = "",
     args: String = ""): (List[(String, Bytes)], Process_Result) =

     {
       val output_file = tmp_dir + Path.explode("output")
 
       val process_result =
         ssh.execute(
+          Isabelle_System.export_isabelle_identifier(isabelle_identifier) +
           ssh.bash_path(isabelle_admin + Path.explode("build_history")) +
             " -o " + ssh.bash_path(output_file) + " " + options + " " +
             ssh.bash_path(isabelle_repos_other) + " " + args,
           progress_stdout = progress.echo(_),
           progress_stderr = progress.echo(_),