| Fri, 03 Sep 2021 18:57:33 +0200 | wenzelm | more scalable data structure (but: rarely used many arguments); | changeset | files |
| Fri, 03 Sep 2021 14:34:14 +0200 | wenzelm | minor performance tuning: fewer allocations; | changeset | files |
| Tue, 31 Aug 2021 13:54:31 +0200 | wenzelm | tuned; | changeset | files |