Sat, 20 Nov 2021 18:15:09 +0100 | wenzelm | more symbolic latex_output via XML; | changeset | files |
Sat, 20 Nov 2021 13:53:34 +0100 | wenzelm | clarified hook for Mirabelle (again): cover all 'theories' sections within ROOT (see also 9ead8d9be3ab); | changeset | files |
Sat, 20 Nov 2021 12:59:53 +0100 | wenzelm | tuned; | changeset | files |