Diffusion Isabelle b5fb99b985b4

clarified document export names;
b5fb99b985b4
Actions

Tags

None

Subscribers

None

Description

clarified document export names;

Details

Provenance

Authored on

Parents

rISABELLE04d39959d1e6: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb5fb99b985b4: clarified document export names;.May 25 2021, 11:37 PM

Changes (4)

Path

Size

src/

Pure/

Thy/

document_build.scala

Tools/

build_job.scala

rISABELLEb5fb99b985b4

src/Pure/Thy/document_build.scala

Loading...

src/Pure/Thy/export.scala

Loading...

src/Pure/Thy/thy_info.ML

Loading...

src/Pure/Tools/build_job.scala

Loading...