Diffusion Isabelle 813a08dff3fd

explicit option document_bibliography;
813a08dff3fd
Actions

Tags

None

Subscribers

None

Description

explicit option document_bibliography;

Details

Provenance

Authored on

Parents

rISABELLEc31510e70e95: proper bibliography;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE813a08dff3fd: explicit option document_bibliography;.May 19 2021, 1:19 PM

Changes (4)

Path

Size

etc/

src/

Doc/

System/

Pure/

Thy/

document_build.scala

rISABELLE813a08dff3fd

NEWS

Loading...

etc/options

Loading...

src/Doc/System/Sessions.thy

Loading...

src/Pure/Thy/document_build.scala

Loading...