| Fri, 05 Nov 2021 23:38:59 +0100 | wenzelm | present theories from imported sessions as required; | changeset | files |
| Fri, 05 Nov 2021 22:43:29 +0100 | wenzelm | avoid multiple copies of fonts; | changeset | files |
| Fri, 05 Nov 2021 20:42:06 +0100 | wenzelm | more compact persistent data; | changeset | files |