Diffusion Isabelle d59242549b7f

support arm64-linux;
d59242549b7f
Actions

Tags

None

Subscribers

None

Description

support arm64-linux;

Details

Provenance

Authored on

Parents

rISABELLEa9aaef9fcf86: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd59242549b7f: support arm64-linux;.Oct 21 2020, 9:59 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_jdk.scala

rISABELLEd59242549b7f

src/Pure/Admin/build_jdk.scala

Loading...