| Wed, 20 Oct 2021 18:13:17 +0200 | wenzelm | discontinued obsolete "val extend = I" for data slots; | file | diff | annotate |
| Sun, 01 Nov 2020 16:54:49 +0100 | haftmann | bundle mixins for locale and class specifications | file | diff | annotate |
| Sun, 30 Sep 2018 12:26:14 +0200 | wenzelm | suppress aux. locales from command 'experiment' -- avoid crash of theory Dict_Construction.Test_Dict_Construction (AFP); | file | diff | annotate |
| Sat, 04 Apr 2015 14:04:11 +0200 | wenzelm | support private scope for individual local theory commands; | file | diff | annotate |
| Fri, 03 Apr 2015 20:23:19 +0200 | wenzelm | clarified name space policy: show less stuff in usual print functions; | file | diff | annotate |
| Wed, 01 Apr 2015 22:08:06 +0200 | wenzelm | added command 'experiment'; | file | diff | annotate |