| Mon, 11 Dec 2023 14:25:14 +0100 | wenzelm | minor performace tuning; | changeset | files |
| Mon, 11 Dec 2023 14:05:19 +0100 | wenzelm | minor performance tuning: prefer Same.operation; | changeset | files |
| Mon, 11 Dec 2023 13:40:02 +0100 | wenzelm | tuned: more standard accumulation; | changeset | files |
| Mon, 11 Dec 2023 13:03:10 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 11 Dec 2023 12:45:16 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 11 Dec 2023 12:27:42 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 11 Dec 2023 12:06:18 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 11 Dec 2023 11:50:50 +0100 | wenzelm | tuned; | changeset | files |