HomeIsabelle/Phabricator

more informative errors: capture low-level compiler output;