| changeset 64538 | 5dd15fc22a53 |
| parent 64450 | 73859eb8d1fe |
| child 67744 | 5c781dcd5864 |
--- 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"