--- a/src/Pure/Admin/build_history.scala Fri Mar 02 11:52:27 2018 +0100
+++ b/src/Pure/Admin/build_history.scala Fri Mar 02 15:16:10 2018 +0100
@@ -504,7 +504,7 @@
ssh: SSH.Session,
isabelle_repos_self: Path,
isabelle_repos_other: Path,
- isabelle_repos_source: String = "http://isabelle.in.tum.de/repos/isabelle",
+ isabelle_repos_source: String = "https://isabelle.in.tum.de/repos/isabelle",
afp_repos_source: String = AFP.repos_source,
isabelle_identifier: String = "remote_build_history",
self_update: Boolean = false,