HomeIsabelle/Phabricator

added "isabelle scala_project" to support e.g. IntelliJ IDEA;