Wed, 11 Oct 2006 22:55:15 +0200 | wenzelm | removed 'undo_end', recovered 'cannot_undo'; | changeset | files |
Wed, 11 Oct 2006 22:55:14 +0200 | wenzelm | tuned signature; | changeset | files |
Wed, 11 Oct 2006 20:35:54 +0200 | haftmann | minor refinements in serialization | changeset | files |
Wed, 11 Oct 2006 14:51:41 +0200 | haftmann | adapted to signature change | changeset | files |