Diffusion Isabelle 0beb46a96cf3

clarified output;
0beb46a96cf3
Actions

Tags

None

Subscribers

None

Description

clarified output;

Details

Provenance

Authored on

Parents

rISABELLE37a0c953649d: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0beb46a96cf3: clarified output;.Sun, Sep 3, 12:52 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE0beb46a96cf3

src/Pure/Tools/build.scala

Loading...