| 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 |
| Fri, 03 Apr 2015 20:04:16 +0200 | wenzelm | unused; | changeset | files |
| Fri, 03 Apr 2015 19:56:51 +0200 | wenzelm | more uniform "verbose" option to print name space; | changeset | files |