Diffusion Isabelle 2621225b4bdd

proper relative path;
2621225b4bdd
Actions

Tags

None

Subscribers

None

Description

proper relative path;

Details

Provenance

Authored on

Parents

rISABELLEf4124c389a62: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2621225b4bdd: proper relative path;.Dec 20 2020, 8:14 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_job.scala

rISABELLE2621225b4bdd

src/Pure/Tools/build_job.scala

Loading...