| Mon, 22 Nov 2021 15:03:37 +0100 | wenzelm | more compact data during presentation: Entity_Context.Theory_Export instead of full Export_Theory.Theory; | file | diff | annotate |
| Fri, 05 Nov 2021 20:42:06 +0100 | wenzelm | more compact persistent data; | file | diff | annotate |
| Thu, 04 Nov 2021 19:22:11 +0100 | wenzelm | clarified Theory_Cache: prefer immutable data with Synchronized variable; | file | diff | annotate |