| Tue, 31 Oct 2017 16:42:20 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 31 Oct 2017 15:55:50 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 31 Oct 2017 15:36:50 +0100 | wenzelm | minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC; | changeset | files |