Admin/cronjob/self_update
2021-03-27 wenzelm tuned;
2021-03-27 wenzelm more robust invocation of hg;
2021-03-27 wenzelm more robust invocation of hg;
2018-07-18 wenzelm evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
2018-03-28 wenzelm clarified handling of stdout vs. stderr: the cronjob should normally be silent;
2018-03-28 wenzelm proper self_update of components -- do assume shared file-system;
2018-03-02 wenzelm prefer https;
2016-12-04 wenzelm back to isabelle-dev repository;
2016-11-01 wenzelm pull isabelle-release;
2016-10-31 wenzelm more explicit pull;
2016-10-11 wenzelm basic setup for Isabelle cronjob;
less more (0) tip