src/Pure/Admin/isabelle_cronjob.scala
2016-10-11 wenzelm 2016-10-11 some timing and logging, similar to old isatest.log;
2016-10-11 wenzelm 2016-10-11 basic setup for Isabelle cronjob;