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