Diffusion Isabelle a5bf0b69c22a

discontinue export_document --- always enabled (reverting f0f83ce0badd);
a5bf0b69c22a
Actions

Tags

None

Subscribers

None

Description

discontinue export_document --- always enabled (reverting f0f83ce0badd);

Details

Provenance

Authored on

Parents

rISABELLE4d615ec4b6b1: unused (see also 7b318273a4aa);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa5bf0b69c22a: discontinue export_document --- always enabled (reverting f0f83ce0badd);.Sep 1 2020, 6:03 PM

Changes (3)

Path

Size

etc/

src/

Pure/

Thy/

Tools/

rISABELLEa5bf0b69c22a

etc/options

Loading...

src/Pure/Thy/thy_info.ML

Loading...

src/Pure/Tools/dump.scala

Loading...