| Sun, 20 Dec 2020 12:24:41 +0100 | wenzelm | tuned signature: more explicit types; | changeset | files |
| Sat, 19 Dec 2020 15:32:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 19 Dec 2020 15:14:01 +0100 | wenzelm | clarified signature and module structure; | changeset | files |