make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski;
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