Diffusion Isabelle 26a02b042fe0

clarified signature;
26a02b042fe0
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLE0beb46a96cf3: clarified output;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE26a02b042fe0: clarified signature;.Sun, Sep 3, 1:23 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLE26a02b042fe0

src/Pure/Tools/build_process.scala

Loading...