Wed, 16 Sep 2009 00:12:52 +0200 | wenzelm | added append_after (tuned version of former insert_after of Seq); | changeset | files |
Tue, 15 Sep 2009 23:57:07 +0200 | wenzelm | double linking for improved performance of "prev"; | changeset | files |
Tue, 15 Sep 2009 15:44:57 +0200 | wenzelm | merged | changeset | files |