HomeIsabelle/Phabricator

support mixed Scala/Java build;

Description

support mixed Scala/Java build;
clarified scalac/javac options;

Details

Provenance
makariusAuthored on
Parents
rISABELLE0b5e6851c722: clarified javac options;
Branches
Unknown
Tags
Unknown