Diffusion Isabelle 3fb4dbffca79

output more data;
3fb4dbffca79
Actions

Tags

None

Subscribers

None

Description

output more data;

Details

Provenance

Authored on

Parents

rISABELLE10680bb927cd: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3fb4dbffca79: output more data;.Sat, Nov 18, 7:14 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_status.scala

rISABELLE3fb4dbffca79

src/Pure/Admin/build_status.scala

Loading...