| Sat, 06 Nov 2021 15:25:20 +0100 | wenzelm | use all entity kinds from theory export, e.g. "method", "attribute"; | changeset | files |
| Sat, 06 Nov 2021 11:25:03 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 06 Nov 2021 10:39:47 +0100 | wenzelm | clarified physical_ref; | changeset | files |
| Sat, 06 Nov 2021 10:11:25 +0100 | wenzelm | proper treatment of session build hierarchy; | changeset | files |
| Sat, 06 Nov 2021 00:13:29 +0100 | wenzelm | proper used_theories for session build hierarchy, not known_theories from imported sessions; | changeset | files |
| 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 |