| Mon, 04 Jan 2010 00:13:09 +0100 | wenzelm | slightly more uniform/robust handling of visible document; | changeset | files |
| Sun, 03 Jan 2010 23:03:04 +0100 | wenzelm | recovered explicit Changed.id (copy of future document) -- avoids premature joining of result; | changeset | files |
| 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 |
| Fri, 01 Jan 2010 22:20:54 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 01 Jan 2010 22:11:32 +0100 | wenzelm | misc tuning; | changeset | files |