| Sun, 20 May 2018 20:37:11 +0200 | wenzelm | standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS; | changeset | files |
| Sun, 20 May 2018 20:31:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 20 May 2018 18:45:18 +0200 | wenzelm | avoid undeclared frees; | changeset | files |