| Thu, 01 Feb 2018 17:15:07 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 01 Feb 2018 15:31:25 +0100 | wenzelm | clarified signature: prefer proper order operation; | changeset | files |
| Thu, 01 Feb 2018 15:12:57 +0100 | wenzelm | tuned signature: more operations; | changeset | files |