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 |