Diffusion Isabelle 1cbac4ae934d

more explicit presentation directory;
1cbac4ae934d
Actions

Tags

None

Subscribers

None

Description

more explicit presentation directory;

Details

Provenance

Authored on

Parents

rISABELLEfd6dc1a4b9ca: more robust, e.g. for "isabelle build_doc system";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE1cbac4ae934d: more explicit presentation directory;.Nov 18 2020, 1:16 PM

Changes (5)

Path

Size

src/

Doc/

System/

Presentation.thy

Pure/

Thy/

Tools/

rISABELLE1cbac4ae934d

src/Doc/System/Presentation.thy

Loading...

src/Doc/System/Sessions.thy

Loading...

src/Pure/Thy/present.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build.scala

Loading...