Diffusion Isabelle d2522bb4db1b

symbolic latex_output via XML, interpreted in Isabelle/Scala;
d2522bb4db1b
Actions

Tags

None

Subscribers

None

Description

symbolic latex_output via XML, interpreted in Isabelle/Scala;

Details

Provenance

Authored on

Parents

rISABELLE47f565849e71: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd2522bb4db1b: symbolic latex_output via XML, interpreted in Isabelle/Scala;.Nov 14 2021, 5:46 PM

Changes (5)

Path

Size

src/

Pure/

PIDE/

Thy/

Tools/

rISABELLEd2522bb4db1b

src/Pure/PIDE/markup.ML

Loading...

src/Pure/PIDE/markup.scala

Loading...

src/Pure/Thy/latex.ML

Loading...

src/Pure/Thy/latex.scala

Loading...

src/Pure/Tools/rail.ML

Loading...