Diffusion Isabelle 3ce6fb9db485

more symbolic latex_output via XML;
3ce6fb9db485
Actions

Tags

None

Subscribers

None

Description

more symbolic latex_output via XML;

Details

Provenance

Authored on

Parents

rISABELLEa5c23da73fca: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3ce6fb9db485: more symbolic latex_output via XML;.Nov 15 2021, 5:26 PM

Changes (9)

Path

Size

src/

Pure/

PIDE/

System/

scala_compiler.ML

Thy/

document_antiquotations.ML

document_output.ML

Tools/

rISABELLE3ce6fb9db485

src/Pure/PIDE/markup.ML

Loading...

src/Pure/PIDE/markup.scala

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/System/scala_compiler.ML

Loading...

src/Pure/Thy/document_antiquotations.ML

Loading...

src/Pure/Thy/document_output.ML

Loading...

src/Pure/Thy/latex.ML

Loading...

src/Pure/Thy/latex.scala

Loading...

src/Pure/Tools/rail.ML

Loading...