Fri, 30 Aug 2013 13:24:14 +0200 | wenzelm | more explicit indication of unique result (see also 45be26b98ca6, 3d654643cf56); | changeset | files |
Fri, 30 Aug 2013 12:59:28 +0200 | wenzelm | explicit is always immediate; | changeset | files |
Fri, 30 Aug 2013 12:46:32 +0200 | wenzelm | single-letter abbrev does not make sense -- too many candidates; | changeset | files |