Diffusion Isabelle 1fbfe0bca5e1

tuned message;
1fbfe0bca5e1
Actions

Tags

None

Subscribers

None

Description

tuned message;

Details

Provenance

Authored on

Parents

rISABELLE3645442be6d5: proper option;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1fbfe0bca5e1: tuned message;.Nov 4 2023, 4:07 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_log.scala

rISABELLE1fbfe0bca5e1

src/Pure/Admin/build_log.scala

Loading...