Admin/cronjob/main
Wed, 12 Oct 2016 09:32:48 +0200 wenzelm explicit timezone for the sake of lxbroy10;
Tue, 11 Oct 2016 20:31:13 +0200 wenzelm force fresh build;
Tue, 11 Oct 2016 20:20:32 +0200 wenzelm basic setup for Isabelle cronjob;
less more (0) tip