--- a/src/Pure/Admin/build_history.scala Wed Apr 28 13:03:09 2021 +0200
+++ b/src/Pure/Admin/build_history.scala Wed Apr 28 14:03:26 2021 +0200
@@ -532,8 +532,8 @@
ssh: SSH.Session,
isabelle_repos_self: Path,
isabelle_repos_other: Path,
- isabelle_repos_source: String = Isabelle_Cronjob.isabelle_repos_source,
- afp_repos_source: String = AFP.repos_source,
+ isabelle_repos_source: String = Isabelle_System.isabelle_repository,
+ afp_repos_source: String = Isabelle_System.afp_repository,
isabelle_identifier: String = "remote_build_history",
self_update: Boolean = false,
progress: Progress = new Progress,