| Wed, 13 Dec 2006 15:47:34 +0100 | wenzelm | target_abbrev: internal mode for abbrevs; | changeset | files |
| Wed, 13 Dec 2006 15:47:33 +0100 | wenzelm | edge: actually apply operation! | changeset | files |
| Wed, 13 Dec 2006 15:47:31 +0100 | wenzelm | tuned; | changeset | files |