Diffusion Isabelle 0b0c651e823f

more portable component setup;
0b0c651e823f
Actions

Tags

None

Subscribers

None

Description

more portable component setup;

Details

Provenance

Authored on

Parents

rISABELLEabaff6fb0ff2: clarified quotes;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0b0c651e823f: more portable component setup;.Jan 5 2021, 6:27 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLE0b0c651e823f

src/Pure/Admin/build_release.scala

Loading...