| Fri, 13 Aug 2010 18:21:19 +0200 |
wenzelm |
explicit Document.State value, instead of individual state variables in Session, Command, Document;
|
changeset |
files
|
| Fri, 13 Aug 2010 18:16:50 +0200 |
wenzelm |
edit_document: more precise status position;
|
changeset |
files
|
| Fri, 13 Aug 2010 17:35:28 +0200 |
wenzelm |
added get_after convenience;
|
changeset |
files
|
| Thu, 12 Aug 2010 17:55:23 +0200 |
wenzelm |
more basic notion of unparsed input;
|
changeset |
files
|
| Thu, 12 Aug 2010 17:37:58 +0200 |
wenzelm |
simplified/clarified Change: transition prev --edits--> result, based on futures;
|
changeset |
files
|
| Thu, 12 Aug 2010 16:23:04 +0200 |
wenzelm |
moved snapshot to Session (cf. 96b22dfeb56a);
|
changeset |
files
|
| Thu, 12 Aug 2010 16:01:44 +0200 |
wenzelm |
Change: eliminated id, which is merely the resulting document id and is only required in joined state anyway;
|
changeset |
files
|
| Thu, 12 Aug 2010 15:19:11 +0200 |
wenzelm |
clarified "state" (accumulated data) vs. "exec" (execution that produces data);
|
changeset |
files
|
| Thu, 12 Aug 2010 14:22:23 +0200 |
wenzelm |
misc tuning and simplification;
|
changeset |
files
|
| Thu, 12 Aug 2010 13:59:18 +0200 |
wenzelm |
specific command state;
|
changeset |
files
|
| Thu, 12 Aug 2010 13:49:08 +0200 |
wenzelm |
specific Session.Commands_Changed;
|
changeset |
files
|
| Thu, 12 Aug 2010 13:43:55 +0200 |
wenzelm |
consider snapshot as service of Session, not Document.Change;
|
changeset |
files
|
| Thu, 12 Aug 2010 13:42:05 +0200 |
wenzelm |
tuned scope;
|
changeset |
files
|
| Wed, 11 Aug 2010 23:46:38 +0200 |
wenzelm |
Document.print_id;
|
changeset |
files
|