Diffusion Isabelle 1c42ac589fa0

eliminated pointless transaction;
1c42ac589fa0
Actions

Tags

None

Subscribers

None

Description

eliminated pointless transaction;

Details

Provenance

Authored on

Parents

rISABELLEc6981f55e60d: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1c42ac589fa0: eliminated pointless transaction;.Nov 25 2020, 12:57 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_job.scala

rISABELLE1c42ac589fa0

src/Pure/Tools/build_job.scala

Loading...