| Sat, 19 Dec 2020 09:33:11 +0000 | haftmann | clarified scope of concept | file | diff | annotate |
| Fri, 18 Dec 2020 10:37:26 +0000 | haftmann | clarified name | file | diff | annotate |
| Sun, 01 Nov 2020 16:54:49 +0100 | haftmann | bundle mixins for locale and class specifications | file | diff | annotate |
| Sat, 24 Oct 2020 15:16:54 +0000 | haftmann | tuned interfaces | file | diff | annotate |
| Thu, 22 Oct 2020 11:37:19 +0000 | haftmann | enforce strict nesting of local theories | file | diff | annotate |
| Mon, 12 Oct 2020 07:25:38 +0000 | haftmann | dedicated module for toplevel target handling | file | diff | annotate |