Diffusion Isabelle 14154ac511ba

provide SCALA_INTERFACES for isabelle_setup;
14154ac511ba
Actions

Tags

None

Subscribers

None

Description

provide SCALA_INTERFACES for isabelle_setup;

Details

Provenance

Authored on

Parents

rISABELLE4ce7d95612cb: build Isabelle Scala component from official downloads (for scala-3.1.1);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE14154ac511ba: provide SCALA_INTERFACES for isabelle_setup;.Mar 30 2022, 4:18 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_scala.scala

rISABELLE14154ac511ba

src/Pure/Admin/build_scala.scala

Loading...