Diffusion Isabelle 3e44f8c3f059

default document_build (lualatex);
3e44f8c3f059
Actions

Tags

None

Subscribers

None

Description

default document_build (lualatex);

Details

Provenance

Authored on

Parents

rISABELLEd701bd96e323: more robust: allow \printindex within the document;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3e44f8c3f059: default document_build (lualatex);.May 19 2021, 11:48 AM

Changes (6)

Path

Size

rISABELLE3e44f8c3f059

src/Doc/Main/document/build

Loading...

src/Doc/ROOT

Loading...