Admin/cronjob/self_update
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