Thu, 25 Jan 2018 11:20:31 +0100 | wenzelm | tuned message; | changeset | files |
Wed, 24 Jan 2018 20:47:36 +0100 | wenzelm | clarified operations; | changeset | files |
Wed, 24 Jan 2018 20:08:33 +0100 | wenzelm | tuned signature: removed unused operations; | changeset | files |