| Sat, 15 Apr 2023 14:14:30 +0200 | wenzelm | minor performance tuning: more elementary operations; | changeset | files |
| Sat, 15 Apr 2023 13:52:06 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 15 Apr 2023 13:51:38 +0200 | wenzelm | more operations; | changeset | files |