| Tue, 11 Apr 2023 11:16:33 +0200 | wenzelm | minor performance tuning: more compact persistent data; | changeset | files |
| Tue, 11 Apr 2023 10:46:43 +0200 | wenzelm | performance tuning: replace Table() by Set(); | changeset | files |
| Tue, 11 Apr 2023 10:45:04 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Apr 2023 10:44:32 +0200 | wenzelm | more operations; | changeset | files |