Diffusion Isabelle e36f94e2eb6b

some support for document preparation in Isabelle/Scala;
e36f94e2eb6b
Actions

Tags

None

Subscribers

None

Description

some support for document preparation in Isabelle/Scala;

Details

Provenance

Authored on

Parents

rISABELLE9bb16dcb9ed8: unused (see 7b318273a4aa);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe36f94e2eb6b: some support for document preparation in Isabelle/Scala;.Sep 28 2020, 10:22 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

Tools/

rISABELLEe36f94e2eb6b

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build.scala

Loading...