Admin/cronjob/crontab.lxbroy5
author Lars Hupel <lars.hupel@mytum.de>
Thu, 30 Aug 2018 10:42:42 +0200
changeset 68909 34e777447ed5
parent 67765 968f6891be62
permissions -rw-r--r--
material on finite sets
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
66995
9cb263dbb2f7 plain identify job for Isabelle + AFP, independent of any Isabelle technology;
wenzelm
parents:
diff changeset
     1
SHELL=/bin/bash
9cb263dbb2f7 plain identify job for Isabelle + AFP, independent of any Isabelle technology;
wenzelm
parents:
diff changeset
     2
MAILTO=wenzelm
9cb263dbb2f7 plain identify job for Isabelle + AFP, independent of any Isabelle technology;
wenzelm
parents:
diff changeset
     3
67765
968f6891be62 identify closer to main cronjob -- avoid diverging changeset versions;
wenzelm
parents: 66995
diff changeset
     4
20 00 * * *       $HOME/cronjob/plain_identify