| 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 |