| Sat, 07 Aug 2010 16:49:03 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 14:45:26 +0200 |
wenzelm |
replaced individual Document_Model history by all-inclusive one in Session;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 21:56:38 +0200 |
wenzelm |
misc tuning -- produce reverse_edits at most once (note that foldRight produces a reversed list internally, while recursion is infisible due to small stack vs. large stack frames on JVM);
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 18:17:59 +0200 |
wenzelm |
Text_Edit.convert/revert;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 18:13:12 +0200 |
wenzelm |
renamed to_current to convert, and from_current to revert;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 18:00:37 +0200 |
wenzelm |
Change.Snapshot: include from_current/to_current here, with precomputed changes;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 16:58:18 +0200 |
wenzelm |
explicit Change.Snapshot and Document.Node;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 14:35:35 +0200 |
wenzelm |
simplified/refined document model: collection of named nodes, without proper dependencies yet;
|
file |
diff |
annotate
|
| Wed, 05 May 2010 22:23:45 +0200 |
wenzelm |
some rearrangement of Scala sources;
|
file |
diff |
annotate
| base
|