Admin/cronjob/plain_identify
20 months ago wenzelm 2017-11-03 plain identify job for Isabelle + AFP, independent of any Isabelle technology;