Diffusion Isabelle 904607aedc4b

omit pointless option;
904607aedc4b
Actions

Tags

None

Subscribers

None

Description

omit pointless option;

Details

Provenance

Authored on

Parents

rISABELLE1f0016095195: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE904607aedc4b: omit pointless option;.May 29 2022, 5:37 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLE904607aedc4b

src/Pure/Admin/build_release.scala

Loading...