Diffusion Isabelle 35524fade6a4

clarified signature: master_dir is just Path.current;
35524fade6a4
Actions

Tags

None

Subscribers

None

Description

clarified signature: master_dir is just Path.current;

Details

Provenance

Authored on

Parents

rISABELLEe788488b0607: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE35524fade6a4: clarified signature: master_dir is just Path.current;.Nov 16 2020, 10:46 PM

Changes (3)

Path

Size

src/

Pure/

Thy/

Tools/

rISABELLE35524fade6a4

src/Pure/Thy/thy_info.ML

Loading...

src/Pure/Tools/build.ML

Loading...

src/Pure/Tools/build.scala

Loading...