| Sat, 04 Apr 2015 22:01:30 +0200 | wenzelm | some explanation of 'private'; | changeset | files |
| Sat, 04 Apr 2015 21:30:58 +0200 | wenzelm | tuned message; | changeset | files |
| Sat, 04 Apr 2015 21:21:40 +0200 | wenzelm | more general notion of command span: command keyword not necessarily at start; | changeset | files |
| Sat, 04 Apr 2015 14:04:11 +0200 | wenzelm | support private scope for individual local theory commands; | changeset | files |
| Fri, 03 Apr 2015 21:25:55 +0200 | wenzelm | rearranged sessions to save approx. 1min elapsed time, 5min CPU time; | changeset | files |
| Fri, 03 Apr 2015 21:04:56 +0200 | wenzelm | obsolete (see 8b7caf447357); | changeset | files |
| Fri, 03 Apr 2015 20:52:17 +0200 | wenzelm | check wrt. proper context, e.g. relevant for 'experiment' target; | changeset | files |
| Fri, 03 Apr 2015 20:23:19 +0200 | wenzelm | clarified name space policy: show less stuff in usual print functions; | changeset | files |