HomeIsabelle/Phabricator

more robust, e.g. for "isabelle build_doc system";