src/Pure/Admin/build_history.scala

 
   def remote_build_history(
     ssh: SSH.Session,
     isabelle_repos_self: Path,
     isabelle_repos_other: Path,
-    isabelle_repository: Mercurial.Address = Isabelle_System.isabelle_repository,
-    afp_repository: Mercurial.Address = Isabelle_System.afp_repository,
+    isabelle_repository: Mercurial.Server = Isabelle_System.isabelle_repository,
+    afp_repository: Mercurial.Server = Isabelle_System.afp_repository,
     isabelle_identifier: String = "remote_build_history",
     self_update: Boolean = false,
     progress: Progress = new Progress,
     rev: String = "",
     afp_rev: Option[String] = None,

     args: String = ""): List[(String, Bytes)] =
   {
     /* Isabelle self repository */
 
     val self_hg =
-      Mercurial.setup_repository(isabelle_repository, isabelle_repos_self, ssh = ssh)
+      Mercurial.setup_repository(isabelle_repository.root, isabelle_repos_self, ssh = ssh)
 
     def execute(cmd: String, args: String, echo: Boolean = false, strict: Boolean = true): Unit =
       ssh.execute(
         Isabelle_System.export_isabelle_identifier(isabelle_identifier) +
           ssh.bash_path(isabelle_repos_self + Path.explode(cmd)) + " " + args,

 
     val afp_options =
       if (afp_rev.isEmpty) ""
       else {
         val afp_repos = isabelle_repos_other + Path.explode("AFP")
-        Mercurial.setup_repository(afp_repository, afp_repos, ssh = ssh)
+        Mercurial.setup_repository(afp_repository.root, afp_repos, ssh = ssh)
         " -A " + Bash.string(afp_rev.get)
       }
 
 
     /* Admin/build_history */