# HG changeset patch # User wenzelm # Date 1480874002 -3600 # Node ID 5dd15fc22a53a094b900b51279b30eda967dba0f # Parent 693389d87139e02fd5e8c43f2c39cd810dc0f4dd back to isabelle-dev repository; diff -r 693389d87139 -r 5dd15fc22a53 Admin/cronjob/self_update --- a/Admin/cronjob/self_update Sun Dec 04 18:53:55 2016 +0100 +++ b/Admin/cronjob/self_update Sun Dec 04 18:53:22 2016 +0100 @@ -10,5 +10,5 @@ cd "$HOME/cronjob" mkdir -p run log -hg -R isabelle pull "http://bitbucket.org/isabelle_project/isabelle-release" -q || echo "self_update pull failed" +hg -R isabelle pull "http://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed" hg -R isabelle update -C -q || echo "self_update update failed" diff -r 693389d87139 -r 5dd15fc22a53 src/Pure/Admin/isabelle_cronjob.scala --- 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 =