| Mon, 06 Mar 2023 19:09:17 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 06 Mar 2023 18:58:48 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 06 Mar 2023 15:56:28 +0100 | wenzelm | tuned whitespace and braces; | file | diff | annotate |
| Mon, 06 Mar 2023 15:38:50 +0100 | wenzelm | tuned signature: reduce boilerplate; | file | diff | annotate |
| Sun, 05 Mar 2023 19:33:01 +0100 | wenzelm | tuned output; | file | diff | annotate |
| Sun, 05 Mar 2023 19:21:07 +0100 | wenzelm | clarified database content: store actual value instead of index; | file | diff | annotate |
| Thu, 02 Mar 2023 16:09:22 +0100 | wenzelm | clarified names; | file | diff | annotate |
| Thu, 02 Mar 2023 15:04:24 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Thu, 02 Mar 2023 14:58:59 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 02 Mar 2023 14:41:21 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 02 Mar 2023 14:22:17 +0100 | wenzelm | clarified modules; | file | diff | annotate |