compose Latex text as XML, output exported YXML in Isabelle/Scala;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE546e1e591635: more direct index_entry: no positions required -- text is eventually moved to .
- Branches
- Unknown
- Tags