Sat, 08 Oct 2016 10:59:38 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
Fri, 07 Oct 2016 23:11:20 +0200 | wenzelm | more flexible date formats; | file | diff | annotate |
Fri, 07 Oct 2016 21:46:42 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 05 Oct 2016 22:07:36 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Wed, 05 Oct 2016 21:02:08 +0200 | wenzelm | more flexibile formatting; | file | diff | annotate |
Wed, 05 Oct 2016 20:06:54 +0200 | wenzelm | more operations; | file | diff | annotate |
Wed, 05 Oct 2016 19:45:36 +0200 | wenzelm | more date and time operations from Java 8; | file | diff | annotate |