| 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 |
| Thu, 04 Nov 2021 15:44:37 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 04 Nov 2021 12:01:28 +0100 | wenzelm | tuned -- eliminate clones stemming from d28a51dd9da6; | file | diff | annotate |
| Tue, 02 Nov 2021 15:40:02 +0100 | wenzelm | updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc; | file | diff | annotate |
| Tue, 07 Sep 2021 21:16:22 +0200 | wenzelm | export other entities, e.g. relevant for formal document output; | file | diff | annotate |