Diffusion Isabelle b595bcdf5bf3

proper LSMinimumSystemVersion for zulu-jdk-15;
b595bcdf5bf3
Actions

Tags

None

Subscribers

None

Description

proper LSMinimumSystemVersion for zulu-jdk-15;

Details

Provenance

Authored on

Parents

rISABELLE4f1df8d3707b: obsolete, thanks to zulu-jdk directory layout;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb595bcdf5bf3: proper LSMinimumSystemVersion for zulu-jdk-15;.Jan 6 2021, 2:30 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLEb595bcdf5bf3

src/Pure/Admin/build_release.scala

Loading...