| Wed, 16 Oct 2024 19:44:02 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 16 Oct 2024 16:20:35 +0200 | wenzelm | performance tuning: cache markup and extern operations; | changeset | files |
| 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 |
| Tue, 15 Oct 2024 14:55:45 +0200 | wenzelm | tuned; | changeset | files |