Diffusion Isabelle 26cd26aaf108

option document_preprocessor;
26cd26aaf108
Actions

Tags

None

Subscribers

None

Description

option document_preprocessor;

Details

Provenance

Authored on

Parents

rISABELLEf7f0d516df0c: show symbols in Isabelle/ML instead of perl;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE26cd26aaf108: option document_preprocessor;.May 18 2021, 10:02 PM

Changes (4)

Path

Size

etc/

src/

Doc/

System/

Pure/

Thy/

document_build.scala

rISABELLE26cd26aaf108

NEWS

Loading...

etc/options

Loading...

src/Doc/System/Sessions.thy

Loading...

src/Pure/Thy/document_build.scala

Loading...