diff -r 0af8a0b6216a -r 4b21e823d35f src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Fri Jun 10 13:48:37 2022 +0200
+++ b/src/Pure/Admin/build_history.scala	Fri Jun 10 13:53:43 2022 +0200
@@ -89,7 +89,7 @@
 
 
 
-  /** local build --- from sync_repos directory **/
+  /** local build **/
 
   private val default_user_home = Path.USER_HOME
   private val default_multicore = (1, 1)
@@ -142,7 +142,7 @@
     }
 
 
-    /* Isabelle + AFP directory (produced via sync_repos) */
+    /* Isabelle + AFP directory */
 
     def directory(dir: Path): Mercurial.Hg_Sync.Directory = {
       val directory = Mercurial.Hg_Sync.directory(dir)
@@ -532,11 +532,11 @@
   ): List[(String, Bytes)] = {
     /* synchronize Isabelle + AFP repositories */
 
-    def sync_repos(target: Path, accurate: Boolean = false,
+    def sync(target: Path, accurate: Boolean = false,
       rev: String = "", afp_rev: String = "", afp: Boolean = false
     ): Unit = {
       val context = Rsync.Context(progress, port = ssh.nominal_port, protect_args = protect_args)
-      Sync_Repos.sync_repos(context, ssh.rsync_path(target),
+      Sync.sync(context, ssh.rsync_path(target),
         thorough = accurate, preserve_jars = !accurate,
         rev = rev, afp_rev = afp_rev, afp_root = if (afp) afp_repos else None)
     }
@@ -552,12 +552,12 @@
         progress_stderr = progress.echo_if(echo, _),
         strict = strict).check
 
-    sync_repos(isabelle_self)
+    sync(isabelle_self)
     execute("bin/isabelle", "components -I")
     execute("bin/isabelle", "components -a", echo = true)
     execute("bin/isabelle", "jedit -bf")
 
-    sync_repos(isabelle_other, accurate = true,
+    sync(isabelle_other, accurate = true,
       rev = proper_string(rev) getOrElse "tip",
       afp_rev = proper_string(afp_rev) getOrElse "tip",
       afp = true)