Diffusion Isabelle d967f6643f5e

proper Isabelle environment (amending 31fbde3baa97);
d967f6643f5e
Actions

Tags

None

Subscribers

None

Description

proper Isabelle environment (amending 31fbde3baa97);

Details

Provenance

Authored on

Parents

rISABELLE45d8884dd233: updated to jdk-15.0.2+7;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd967f6643f5e: proper Isabelle environment (amending 31fbde3baa97);.Jan 27 2021, 2:34 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLEd967f6643f5e

src/Pure/Admin/build_release.scala

Loading...