Administrative Isabelle cronjob at TUM
======================================

- crontab: manual update on target machine
    crontab -l
    crontab -e

- self_update: manual installation on target directory
    cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update"

- $HOME/cronjob/run/ -- run-time state

- $HOME/cronjob/log/ -- cumulative log area
