Diffusion Isabelle 1b0f81e556a2

accommodate OpenJDK 15;
1b0f81e556a2
Actions

Tags

None

Subscribers

None

Description

accommodate OpenJDK 15;

Details

Provenance

Authored on

Parents

rISABELLE50f18a822ee9: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1b0f81e556a2: accommodate OpenJDK 15;.Dec 12 2020, 12:45 PM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_log.scala

General/

properties.scala

rISABELLE1b0f81e556a2

src/Pure/Admin/build_log.scala

Loading...

src/Pure/General/bytes.scala

Loading...

src/Pure/General/properties.scala

Loading...