| Sun, 18 Jan 2015 23:07:00 +0100 | wenzelm | discontinued attempt at alphabetic_order -- selection via regex should be sufficient; | file | diff | annotate |
| Sun, 18 Jan 2015 22:22:12 +0100 | wenzelm | obsolete -- full layout takes approx. 100ms; | file | diff | annotate |