Diffusion Isabelle 7c70f10e0b3b

tuned --- rename = dist_name is sufficient;
7c70f10e0b3b
Actions

Tags

None

Subscribers

None

Description

tuned --- rename = dist_name is sufficient;

Details

Provenance

Authored on

Parents

rISABELLEf17caa5002df: proper dist_name;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7c70f10e0b3b: tuned --- rename = dist_name is sufficient;.May 5 2021, 8:41 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLE7c70f10e0b3b

src/Pure/Admin/build_release.scala

Loading...