| Sun, 29 Dec 2024 13:52:27 +0100 | wenzelm | clarified data representation: less redundancy; | changeset | files |
| Sun, 29 Dec 2024 13:16:26 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 29 Dec 2024 00:00:41 +0100 | wenzelm | minor performance tuning; | changeset | files |