Wed, 13 Dec 2006 15:47:37 +0100 | wenzelm | tuned signature; | changeset | files |
Wed, 13 Dec 2006 15:47:36 +0100 | wenzelm | internal_abbrev: observe print mode; | changeset | files |
Wed, 13 Dec 2006 15:47:34 +0100 | wenzelm | target_abbrev: internal mode for abbrevs; | changeset | files |