Diffusion Isabelle dabe295c3f62

proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);
dabe295c3f62
Actions

Tags

None

Subscribers

None

Description

proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);

Details

Provenance

Authored on

Parents

rISABELLEcd84e58aed26: eliminated perl: prefer elementary GNU printenv;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdabe295c3f62: proper etc/ISABELLE_ID from archive (amending 4cba4e250c28);.Apr 14 2021, 9:15 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLEdabe295c3f62

src/Pure/Admin/build_release.scala

Loading...