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