Diffusion Isabelle f2e836e013cb

clarified option -P: allow empty argument;
f2e836e013cb
Actions

Tags

None

Subscribers

None

Description

clarified option -P: allow empty argument;

Details

Provenance

Authored on

Parents

rISABELLEa771807df752: support for existing release archive;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf2e836e013cb: clarified option -P: allow empty argument;.May 5 2021, 2:17 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLEf2e836e013cb

src/Pure/Admin/build_release.scala

Loading...