HomeIsabelle/Phabricator

proper Java/Scala compiler classpath for standalone application (see also…