Diffusion Isabelle 4be1047576e6

support for Isabelle/Scala in pure Java;
4be1047576e6
Actions

Tags

None

Subscribers

None

Description

support for Isabelle/Scala in pure Java;

Details

Provenance

Authored on

Parents

rISABELLE631b61f06d0e: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4be1047576e6: support for Isabelle/Scala in pure Java;.Jul 1 2021, 11:27 PM

Changes (7)

Path

Size

Admin/

lib/

Tools/

Build_Scala.java

rISABELLE4be1047576e6

Admin/lib/Tools/build_setup

Loading...

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

Loading...