Admin/cronjob/self_update
2016-12-04 wenzelm 2016-12-04 back to isabelle-dev repository;
2016-11-01 wenzelm 2016-11-01 pull isabelle-release;
2016-10-31 wenzelm 2016-10-31 more explicit pull;
2016-10-11 wenzelm 2016-10-11 basic setup for Isabelle cronjob;