Diffusion Isabelle 05cec0a3c63d

clarified modules and options (from store);
05cec0a3c63d
Actions

Tags

None

Subscribers

None

Description

clarified modules and options (from store);

Details

Provenance

Authored on

Parents

rISABELLE370ebda8bd86: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE05cec0a3c63d: clarified modules and options (from store);.Tue, Apr 16, 4:53 PM

Changes (2)

Path

Size

src/

Pure/

Build/

build_job.scala

rISABELLE05cec0a3c63d

src/Pure/Build/build_job.scala

Loading...

src/Pure/Build/store.scala

Loading...