Diffusion Isabelle 220a094a42d8

proper else statement;
220a094a42d8
Actions

Tags

None

Subscribers

None

Description

proper else statement;

Details

Provenance

Authored on

Parents

rISABELLE2fce0ce47627: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE220a094a42d8: proper else statement;.Dec 10 2020, 10:57 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_job.scala

rISABELLE220a094a42d8

src/Pure/Tools/build_job.scala

Loading...