| Sun, 03 Jan 2010 20:50:07 +0100 | wenzelm | more explicit treatment of command/document state; | changeset | files |
| Sun, 03 Jan 2010 19:53:58 +0100 | wenzelm | removed unused document_change bus; | changeset | files |
| Fri, 01 Jan 2010 22:29:08 +0100 | wenzelm | tuned; | changeset | files |