Diffusion Isabelle c7a57fc47220

clarified old document build;
c7a57fc47220
Actions

Tags

None

Subscribers

None

Description

clarified old document build;

Details

Provenance

Authored on

Parents

rISABELLE6ddbb74a52c9: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc7a57fc47220: clarified old document build;.May 19 2021, 6:22 PM

Changes (11)

Path

Size

Intro/

document/

prepare_document

rISABELLEc7a57fc47220

src/Doc/Intro/document/build

Loading...

src/Doc/Logics/document/build

Loading...

src/Doc/Logics_ZF/document/build

Loading...

src/Doc/ROOT

Loading...

src/Doc/prepare_document

Loading...