changeset 64538 | 5dd15fc22a53 |
parent 64506 | b3ccfd59097d |
child 64544 | d23b7c9b9dd4 |
--- a/src/Pure/Admin/isabelle_cronjob.scala Sun Dec 04 18:53:55 2016 +0100 +++ b/src/Pure/Admin/isabelle_cronjob.scala Sun Dec 04 18:53:22 2016 +0100 @@ -126,7 +126,7 @@ Build_History.remote_build_history(ssh, isabelle_repos, isabelle_repos.ext(r.host), - isabelle_repos_source = isabelle_release_source, + isabelle_repos_source = isabelle_dev_source, self_update = self_update, push_isabelle_home = push_isabelle_home, options =