Diffusion Isabelle 4ce7d95612cb

build Isabelle Scala component from official downloads (for scala-3.1.1);
4ce7d95612cb
Actions

Tags

None

Subscribers

None

Description

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

Details

Provenance

Authored on

Parents

rISABELLE48922e565627: proper option argument;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4ce7d95612cb: build Isabelle Scala component from official downloads (for scala-3.1.1);.Mar 26 2022, 2:12 PM

Changes (6)

Path

Size

etc/

build_scala.scala

System/

isabelle_tool.scala

rISABELLE4ce7d95612cb

etc/build.props

Loading...

src/Pure/Admin/build_scala.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...