| Tue, 16 Jul 2013 14:10:10 +0200 | wenzelm | more self-contained application, with side-entry for init; | file | diff | annotate |
| Thu, 04 Apr 2013 18:06:48 +0200 | wenzelm | tuned signature -- concentrate GUI tools; | file | diff | annotate |
| Thu, 04 Apr 2013 17:58:47 +0200 | wenzelm | tuned signature -- concentrate GUI tools; | file | diff | annotate |