Admin/cronjob/README
19 months ago wenzelm 2017-11-03 plain identify job for Isabelle + AFP, independent of any Isabelle technology;
2016-10-11 wenzelm 2016-10-11 basic setup for Isabelle cronjob;