| Mon, 24 Sep 2018 15:20:21 +0200 | wenzelm | more position information; | changeset | files |
| Mon, 24 Sep 2018 14:58:15 +0200 | wenzelm | clarified message; | changeset | files |
| Mon, 24 Sep 2018 13:01:25 +0200 | wenzelm | tuned signature: more explicit types; | changeset | files |
| Mon, 24 Sep 2018 12:16:19 +0200 | wenzelm | clarified signature; | changeset | files |