Admin/cronjob/crontab.lxbroy10
2016-10-23 wenzelm 2016-10-23 just one output file;
2016-10-22 wenzelm 2016-10-22 expose results on failure (via mail);
2016-10-11 wenzelm 2016-10-11 proper redirection;
2016-10-11 wenzelm 2016-10-11 basic setup for Isabelle cronjob;