Diffusion Isabelle 0e01c3b55b63

clarified signature: prefer enum types;
0e01c3b55b63
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer enum types;

Details

Provenance

Authored on

Parents

rISABELLE3f3add5eef91: tuned indentation;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0e01c3b55b63: clarified signature: prefer enum types;.Tue, Aug 29, 5:17 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_log.scala

build_status.scala

rISABELLE0e01c3b55b63

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Admin/build_status.scala

Loading...