| Mon, 04 Nov 2019 15:14:34 +0100 | wenzelm | updated xml_size; | changeset | files |
| Mon, 04 Nov 2019 15:06:54 +0100 | wenzelm | prefer named result; | changeset | files |
| Mon, 04 Nov 2019 14:56:49 +0100 | wenzelm | more robust expose_proofs corresponding to register_proofs/consolidate_theory; | changeset | files |