Diffusion Isabelle e0f3fda92990

more robust etc/preferences: default value remains;
e0f3fda92990
Actions

Tags

None

Subscribers

None

Description

more robust etc/preferences: default value remains;

Details

Provenance

Authored on

Parents

rISABELLEc0566b6f6ca8: formal bundling for Admin/build_release: avoid confusion about presence or…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe0f3fda92990: more robust etc/preferences: default value remains;.Oct 26 2022, 4:26 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLEe0f3fda92990

src/Pure/Admin/build_release.scala

Loading...