pull isabelle-release;
authorwenzelm
Tue Nov 01 01:25:54 2016 +0100 (2016-11-01)
changeset 6445073859eb8d1fe
parent 64438 f91cae6c1d74
child 64451 cdbfa9f64110
pull isabelle-release;
Admin/cronjob/self_update
     1.1 --- a/Admin/cronjob/self_update	Tue Nov 01 01:04:53 2016 +0100
     1.2 +++ b/Admin/cronjob/self_update	Tue Nov 01 01:25:54 2016 +0100
     1.3 @@ -10,5 +10,5 @@
     1.4  cd "$HOME/cronjob"
     1.5  mkdir -p run log
     1.6  
     1.7 -hg -R isabelle pull "http://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed"
     1.8 +hg -R isabelle pull "http://bitbucket.org/isabelle_project/isabelle-release" -q || echo "self_update pull failed"
     1.9  hg -R isabelle update -C -q || echo "self_update update failed"