author | wenzelm |
Tue, 16 Jan 2018 09:58:17 +0100 | |
changeset 67445 | 4311845b0412 |
parent 66995 | 9cb263dbb2f7 |
child 67765 | 968f6891be62 |
permissions | -rw-r--r-- |
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 |
|
9cb263dbb2f7
plain identify job for Isabelle + AFP, independent of any Isabelle technology;
wenzelm
parents:
diff
changeset
|
4 |
47 00 * * * $HOME/cronjob/plain_identify |