| Thu, 04 Aug 2016 21:21:31 +0200 | wenzelm | clarified handling of plain theory commands; | changeset | files |
| Thu, 04 Aug 2016 20:55:36 +0200 | wenzelm | support for context block structure in Sidekick; | changeset | files |
| Thu, 04 Aug 2016 11:32:21 +0200 | wenzelm | tuned; | changeset | files |