Tue, 27 Nov 2018 16:22:12 +0100 | wenzelm | more robust (amending 76979adf0b96); | changeset | files |
Tue, 27 Nov 2018 16:20:08 +0100 | wenzelm | more robust: avoid broken YXML due to Markup.empty; | changeset | files |
Sun, 25 Nov 2018 21:11:38 +0100 | wenzelm | expose latex mode operations, to facilitate adhoc changes to it; | changeset | files |