| Fri, 06 Aug 2010 12:37:00 +0200 | wenzelm | modernized specifications; | changeset | files |
| Thu, 05 Aug 2010 23:43:43 +0200 | wenzelm | Document_Model: include token marker here; | changeset | files |
| Thu, 05 Aug 2010 22:01:25 +0200 | wenzelm | tuned; | changeset | files |
| 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); | changeset | files |
| Thu, 05 Aug 2010 21:40:20 +0200 | wenzelm | editor mode; | changeset | files |
| Thu, 05 Aug 2010 18:17:59 +0200 | wenzelm | Text_Edit.convert/revert; | changeset | files |
| Thu, 05 Aug 2010 18:13:12 +0200 | wenzelm | renamed to_current to convert, and from_current to revert; | changeset | files |
| Thu, 05 Aug 2010 18:00:37 +0200 | wenzelm | Change.Snapshot: include from_current/to_current here, with precomputed changes; | changeset | files |