Diffusion Isabelle 86ef80d13544

clarified signature: avoid confusion due to object-orientation;
86ef80d13544
Actions

Tags

None

Subscribers

None

Description

clarified signature: avoid confusion due to object-orientation;

Details

Provenance

Authored on

Parents

rISABELLE979baa91da0f: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE86ef80d13544: clarified signature: avoid confusion due to object-orientation;.Mar 13 2023, 5:22 PM

Changes (2)

Path

Size

src/

Pure/

Tools/

build_job.scala

build_process.scala

rISABELLE86ef80d13544

src/Pure/Tools/build_job.scala

Loading...

src/Pure/Tools/build_process.scala

Loading...