more symbolic latex_output via XML (using YXML within text);
re-use existing Latex.output_markup;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFPdf2034347bc9: prefer symbolic Latex.environment (typeset in Isabelle/Scala);
- Branches
- Unknown
- Tags