HomeIsabelle/Phabricator

enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;

Authored by makarius.