Diffusion Isabelle 2b9ae1aa9257

skip scalac for Java build;
2b9ae1aa9257
Actions

Tags

None

Subscribers

None

Description

skip scalac for Java build;

Details

Provenance

Authored on

Parents

rISABELLEa3a64aab815a: support mixed Scala/Java build;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2b9ae1aa9257: skip scalac for Java build;.Jul 9 2021, 5:56 PM

Changes (1)

Path

Size

src/

Tools/

Setup/

isabelle/

setup/

rISABELLE2b9ae1aa9257

src/Tools/Setup/isabelle/setup/Build.java

Loading...