| Mon, 13 Jul 2009 14:30:39 +0200 | immler | arbitrary history | changeset | files |
| Wed, 08 Jul 2009 15:15:15 +0200 | immler | commands carrying state-information | changeset | files |
| Wed, 08 Jul 2009 15:15:13 +0200 | immler | gui element to set current document version | changeset | files |
| Wed, 08 Jul 2009 13:29:44 +0200 | immler | set current document version; forget "future" versions in list | changeset | files |
| Wed, 08 Jul 2009 13:29:44 +0200 | immler | current version in theoryview/buffer | changeset | files |
| Wed, 08 Jul 2009 13:29:43 +0200 | immler | activation | changeset | files |
| Wed, 08 Jul 2009 13:29:42 +0200 | immler | remember removed text | changeset | files |