| Fri, 05 May 2017 18:32:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 10 Feb 2017 11:04:28 +0100 | wenzelm | clarified Date storage; | file | diff | annotate |
| Thu, 09 Feb 2017 23:00:56 +0100 | wenzelm | timestamp string format for SQLite; | file | diff | annotate |
| Thu, 09 Feb 2017 22:40:15 +0100 | wenzelm | support for type Date; | file | diff | annotate |
| 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 |