Diffusion Isabelle 37a0c953649d

clarified signature;
37a0c953649d
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLEe3d7793545df: clarified signature: removed ununsed option;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE37a0c953649d: clarified signature;.Sun, Sep 3, 12:39 PM

Changes (2)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLE37a0c953649d

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/build_process.scala

Loading...