| Fri, 08 Mar 2024 21:15:35 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 08 Mar 2024 20:28:29 +0100 | wenzelm | more operations for Date and Time; | file | diff | annotate |
| Tue, 31 Jan 2023 23:17:44 +0100 | wenzelm | alternate AFP tests on lrzcloud2, to fit better into one day; | file | diff | annotate |
| Fri, 01 Apr 2022 23:19:12 +0200 | wenzelm | tuned formatting; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Wed, 15 Dec 2021 19:30:57 +0100 | wenzelm | tuned imports; | file | diff | annotate |
| Mon, 13 Dec 2021 22:12:48 +0100 | wenzelm | more data integrity: name vs. address; | file | diff | annotate |
| Fri, 07 May 2021 21:03:20 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 10 Jan 2021 13:04:29 +0100 | wenzelm | more informative errors: simplify diagnosis of spurious failures reported by users; | file | diff | annotate |
| Fri, 27 Mar 2020 22:01:27 +0100 | wenzelm | misc tuning based on hints by IntelliJ IDEA; | file | diff | annotate |
| Mon, 25 Mar 2019 16:45:08 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| 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 |