Diffusion Isabelle e3d7793545df

clarified signature: removed ununsed option;
e3d7793545df
Actions

Tags

None

Subscribers

None

Description

clarified signature: removed ununsed option;

Details

Provenance

Authored on

Parents

rISABELLE0649be5c3036: tuned message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe3d7793545df: clarified signature: removed ununsed option;.Sun, Sep 3, 12:30 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLEe3d7793545df

src/Pure/Tools/build_process.scala

Loading...