Admin/cronjob/self_update
Wed, 18 Jul 2018 17:01:12 +0200 wenzelm evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
Wed, 28 Mar 2018 13:46:21 +0200 wenzelm clarified handling of stdout vs. stderr: the cronjob should normally be silent;
Wed, 28 Mar 2018 11:54:18 +0200 wenzelm proper self_update of components -- do assume shared file-system;
Fri, 02 Mar 2018 15:16:10 +0100 wenzelm prefer https;
Sun, 04 Dec 2016 18:53:22 +0100 wenzelm back to isabelle-dev repository;
Tue, 01 Nov 2016 01:25:54 +0100 wenzelm pull isabelle-release;
Mon, 31 Oct 2016 14:21:23 +0100 wenzelm more explicit pull;
Tue, 11 Oct 2016 20:20:32 +0200 wenzelm basic setup for Isabelle cronjob;
less more (0) tip