clarified treatment of Isabelle .sty files;
5a3a2a52648d
Actions

Description

clarified treatment of Isabelle .sty files;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (4)

Path

Size

src/

Doc/

System/

Pure/

Thy/

rISABELLE5a3a2a52648d

NEWS

src/Doc/System/Presentation.thy

src/Doc/prepare_document

src/Pure/Thy/document_build.scala

clarified treatment of Isabelle .sty files;5a3a2a52648dActions

Description

Details

Changes (4)

rISABELLE5a3a2a52648d

NEWS

src/Doc/System/Presentation.thy

src/Doc/prepare_document

src/Pure/Thy/document_build.scala

clarified treatment of Isabelle .sty files;
5a3a2a52648d
Actions