| Mon, 19 Feb 2018 11:29:08 +0100 | wenzelm | misc tuning and clarification; | changeset | files |
| Mon, 19 Feb 2018 11:13:25 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 19 Feb 2018 10:35:53 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 19 Feb 2018 10:05:37 +0100 | wenzelm | more operations; | changeset | files |