Diffusion Isabelle ebf72a3b8daa

clarified file sources: take from build database instead of file-system;
ebf72a3b8daa
Actions

Tags

None

Subscribers

None

Description

clarified file sources: take from build database instead of file-system;

Details

Provenance

Authored on

Parents

rISABELLE612fbd881492: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEebf72a3b8daa: clarified file sources: take from build database instead of file-system;.Dec 10 2020, 2:51 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_job.scala

rISABELLEebf72a3b8daa

src/Pure/Tools/build_job.scala

Loading...