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