Diffusion Isabelle 25e9e7088561

address problems with launch4j and jdk-17 (see also 41d009462d3c);
25e9e7088561
Actions

Tags

None

Subscribers

None

Description

address problems with launch4j and jdk-17 (see also 41d009462d3c);

Details

Provenance

Authored on

Parents

rISABELLEae7912a42b9d: more robust build on midrange hardware;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE25e9e7088561: address problems with launch4j and jdk-17 (see also 41d009462d3c);.Nov 27 2021, 5:02 PM

Changes (3)

Path

Size

Admin/

Release/

src/

Pure/

Admin/

build_release.scala

isabelle_devel.scala

rISABELLE25e9e7088561

Admin/Release/CHECKLIST

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/isabelle_devel.scala

Loading...