| Tue, 15 Oct 2024 23:44:42 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Tue, 15 Oct 2024 16:11:37 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Tue, 15 Oct 2024 14:57:23 +0200 | wenzelm | backout somewhat pointless 5ea48342e0ae: no need to declare syntax consts for translations (e.g. constraints); | changeset | files |