Diffusion Isabelle 9f44559c00a9

tuned messages: less verbosity;
9f44559c00a9
Actions

Tags

None

Subscribers

None

Description

tuned messages: less verbosity;

Details

Provenance

Authored on

Parents

rISABELLE378bb7a739c3: prefer Other_Isabelle.init instead of adhoc scripts;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9f44559c00a9: tuned messages: less verbosity;.Jan 25 2023, 9:49 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_release.scala

rISABELLE9f44559c00a9

src/Pure/Admin/build_release.scala

Loading...