Diffusion Isabelle 0ab2ed1489eb

more documentation about document build options;
0ab2ed1489eb
Actions

Tags

None

Subscribers

None

Description

more documentation about document build options;

Details

Provenance

Authored on

Parents

rISABELLE9e9a308562da: address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0ab2ed1489eb: more documentation about document build options;.Dec 3 2021, 3:11 PM

Changes (2)

Path

Size

src/

Doc/

System/

Presentation.thy

rISABELLE0ab2ed1489eb

src/Doc/System/Presentation.thy

Loading...

src/Doc/System/Sessions.thy

Loading...