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