Diffusion Isabelle f7a9889068ff

added document antiquotation @{system_option};
f7a9889068ff
Actions

Tags

None

Subscribers

None

Description

added document antiquotation system_option;

Details

Provenance

Authored on

Parents

rISABELLE2f782d5f5d5a: improved performance of session exports via bulk transactions;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEf7a9889068ff: added document antiquotation @{system_option};.Nov 21 2019, 1:25 PM

Changes (2)

Path

Size

src/

Doc/

Isar_Ref/

Document_Preparation.thy

Pure/

Thy/

document_antiquotations.ML

rISABELLEf7a9889068ff

src/Doc/Isar_Ref/Document_Preparation.thy

Loading...

src/Pure/Thy/document_antiquotations.ML

Loading...