HomeIsabelle/Phabricator

syslog option for "isabelle build";