| Thu, 15 Jan 2009 12:16:51 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 15 Jan 2009 11:55:22 +0100 | wenzelm | edit_document: proper edits/edit markup, including the document id; | changeset | files |
| Thu, 15 Jan 2009 11:53:49 +0100 | wenzelm | replaced command_state by edits/edit; | changeset | files |
| Thu, 15 Jan 2009 00:48:45 +0100 | wenzelm | removed junk; | changeset | files |