HomeIsabelle/Phabricator

more robust defaults: spurious problems with parallel invocations and…