Diffusion Isabelle 3befd4d1e6f2

proper build with jdk-21 (amending 4fb5e6499da9);
3befd4d1e6f2
Actions

Tags

None

Subscribers

None

Description

proper build with jdk-21 (amending 4fb5e6499da9);

Details

Provenance

Authored on

Parents

rISABELLEf318399a9fb6: NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3befd4d1e6f2: proper build with jdk-21 (amending 4fb5e6499da9);.Nov 21 2023, 11:35 PM

Changes (1)

Path

Size

src/

Tools/

GraphBrowser/

etc/

rISABELLE3befd4d1e6f2

src/Tools/GraphBrowser/etc/build.props

Loading...