| 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 |