Diffusion Isabelle cfb0414adc84

updated default version;
cfb0414adc84
Actions

Tags

None

Subscribers

None

Description

updated default version;

Details

Provenance

Authored on

Parents

rISABELLE9f34c780906e: updated to xz-java-1.9;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEcfb0414adc84: updated default version;.Oct 2 2021, 6:04 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_verit.scala

rISABELLEcfb0414adc84

src/Pure/Admin/build_verit.scala

Loading...