HomeIsabelle/Phabricator

more robust: support other_isabelle.init_settings for build_history before…