Diffusion Isabelle c82d49a56cf9

tuned signature: removed redundant argument;
c82d49a56cf9
Actions

Tags

None

Subscribers

None

Description

tuned signature: removed redundant argument;

Details

Provenance

Authored on

Parents

rISABELLEb45fc98d11ea: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc82d49a56cf9: tuned signature: removed redundant argument;.Mar 14 2023, 8:06 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLEc82d49a56cf9

src/Pure/Tools/build_process.scala

Loading...