| author | nipkow |
| Wed, 24 Sep 2025 17:50:30 +0200 | |
| changeset 83194 | c2566f1548f4 |
| parent 80716 | f3c9203d82c3 |
| 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 |
|
|
67765
968f6891be62
identify closer to main cronjob -- avoid diverging changeset versions;
wenzelm
parents:
66995
diff
changeset
|
4 |
20 00 * * * $HOME/cronjob/plain_identify |