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 |
Sat, 20 Nov 2021 12:53:18 +0100 | wenzelm | tuned; | changeset | files |
Fri, 19 Nov 2021 20:35:35 +0100 | wenzelm | updated to verit-2021.06.2-rmx; | changeset | files |
Wed, 17 Nov 2021 20:49:09 +0100 | wenzelm | clarified HTML_Context.theory_exports: prefer value-oriented parallelism; | changeset | files |