| Sun, 05 Dec 2021 20:17:17 +0100 | wenzelm | more symbolic latex_output via XML (using YXML within text); | changeset | files |
| Sun, 05 Dec 2021 16:46:50 +0100 | wenzelm | tuned signature: remove unused; | changeset | files |
| Sun, 05 Dec 2021 16:26:03 +0100 | wenzelm | prefer symbolic Latex.environment (typeset in Isabelle/Scala); | changeset | files |