HomeIsabelle/Phabricator

more robust, notably for isabelle_cronjob;

Authored by makarius.