HomeIsabelle/Phabricator

various improvements of "isabelle scala_project";