| Sat, 08 Oct 2016 22:36:22 +0200 | wenzelm | build_history log files with formal meta info; | file | diff | annotate |
| Sat, 08 Oct 2016 17:29:42 +0200 | wenzelm | prefer local timezone; | file | diff | annotate |
| Sat, 08 Oct 2016 11:21:29 +0200 | wenzelm | tuned error; | file | diff | annotate |
| Sat, 08 Oct 2016 11:04:47 +0200 | wenzelm | tuned; | file | diff | annotate |
| 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 |