Diffusion Isabelle 6cb76a8adc06

updated download version;
6cb76a8adc06
Actions

Tags

None

Subscribers

None

Description

updated download version;

Details

Provenance

Authored on

Parents

rISABELLE3fad59705ab7: obsolete;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6cb76a8adc06: updated download version;.Jul 1 2022, 8:27 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_scala.scala

rISABELLE6cb76a8adc06

src/Pure/Admin/build_scala.scala

Loading...