observe local syntax mode (according to e3a39dae2004, which was lost in 0f3ad56548bc), e.g. relevant for "abbreviation (output)" with non-terminating syntax;
MAILTO=isatest@mailbroy.informatik.tu-muenchen.de
28 06 * * 0-5 $HOME/afp/devel/admin/regression -
28 06 * * 6 export ISABELLE_FULL_TEST=true && $HOME/afp/devel/admin/regression -
# 17 11 * * 6 $HOME/afp/devel/admin/regression -f -
# 32 11 * * 0 $HOME/afp/release/admin/regression Isabelle2011-1