Sun, 29 Dec 2024 15:39:01 +0100 | wenzelm | tuned; | changeset | files |
Sun, 29 Dec 2024 15:34:28 +0100 | wenzelm | unused; | changeset | files |
Sun, 29 Dec 2024 15:15:06 +0100 | wenzelm | tuned signature; | changeset | files |
Sun, 29 Dec 2024 15:05:16 +0100 | wenzelm | tuned: more uniform; | changeset | files |
Sun, 29 Dec 2024 14:57:13 +0100 | wenzelm | tuned: more uniform; | changeset | files |
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 |