| Wed, 12 Feb 2025 00:53:15 +0100 | wenzelm | back to scala-3.3.4: scalac in 3.3.5 is more than 2 times slower; | changeset | files |
| Wed, 12 Feb 2025 00:40:57 +0100 | wenzelm | removed unused imports; | changeset | files |
| Tue, 11 Feb 2025 23:31:12 +0100 | wenzelm | proper Boolean polarity (amending 527daf6823fb after 3b0f8f1010f2); | changeset | files |