| Mon, 05 Aug 2013 11:01:17 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 29 Jun 2013 12:57:04 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 11 Sep 2012 11:03:59 +0200 | wenzelm | uniform operation on initial delay; | file | diff | annotate |
| Mon, 10 Sep 2012 21:15:46 +0200 | wenzelm | dynamic evaluation of time (e.g. via options); | file | diff | annotate |