changeset 64450 | 73859eb8d1fe |
parent 64432 | c381bfd068fd |
child 64538 | 5dd15fc22a53 |
--- a/Admin/cronjob/self_update Tue Nov 01 01:04:53 2016 +0100 +++ b/Admin/cronjob/self_update Tue Nov 01 01:25:54 2016 +0100 @@ -10,5 +10,5 @@ cd "$HOME/cronjob" mkdir -p run log -hg -R isabelle pull "http://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed" +hg -R isabelle pull "http://bitbucket.org/isabelle_project/isabelle-release" -q || echo "self_update pull failed" hg -R isabelle update -C -q || echo "self_update update failed"