| Tue, 16 Nov 2021 21:47:38 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 16 Nov 2021 21:43:41 +0100 | wenzelm | removed redundant test (see also 86fac52c2795, a9fea3f11cc0); | changeset | files |
| Tue, 16 Nov 2021 21:21:15 +0100 | wenzelm | just one Presentation.State for all sessions: avoid duplication of already presented theories (very slow) and cached theory export (not very slow); | changeset | files |