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