Diffusion Isabelle 9ce8bf038444

tuned whitespace;
9ce8bf038444
Actions

Tags

None

Subscribers

None

Description

tuned whitespace;

Details

Provenance

Authored on

Parents

rISABELLE2e260496a4f8: tuned message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9ce8bf038444: tuned whitespace;.Nov 2 2023, 2:31 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_log.scala

rISABELLE9ce8bf038444

src/Pure/Admin/build_log.scala

Loading...