clarified document output;
cc1347c8c804
Actions

Description

clarified document output;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

etc/

src/

Doc/

System/

Pure/

Admin/

Thy/

Tools/

rISABELLEcc1347c8c804

etc/options

src/Doc/System/Presentation.thy

src/Pure/Admin/build_doc.scala

src/Pure/Thy/presentation.scala

src/Pure/Tools/build_job.scala

clarified document output;cc1347c8c804Actions

Description

Details

Changes (5)

rISABELLEcc1347c8c804

etc/options

src/Doc/System/Presentation.thy

src/Pure/Admin/build_doc.scala

src/Pure/Thy/presentation.scala

src/Pure/Tools/build_job.scala

clarified document output;
cc1347c8c804
Actions