HomeIsabelle/Phabricator

more symbolic latex_output via XML (using YXML within text);

Description

more symbolic latex_output via XML (using YXML within text);
re-use existing Latex.output_markup;

Details

Provenance
makariusAuthored on
Parents
rAFPdf2034347bc9: prefer symbolic Latex.environment (typeset in Isabelle/Scala);
Branches
Unknown
Tags
Unknown