| Fri, 30 Aug 2013 13:45:57 +0200 | wenzelm | NEWS; | changeset | files |
| 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 |