| Tue, 08 Oct 2024 16:15:31 +0200 | wenzelm | more robust declarations via "no syntax" bundles; | changeset | files |
| Tue, 08 Oct 2024 16:14:36 +0200 | wenzelm | more accurate no_syntax declarations, following ec121999a9cb; | changeset | files |
| Tue, 08 Oct 2024 16:13:02 +0200 | wenzelm | more robust syntax; | changeset | files |