| Sun, 18 May 2025 14:33:01 +0000 | haftmann | dropped unused ML bindings | file | diff | annotate |
| Fri, 25 Oct 2024 16:03:58 +0200 | wenzelm | more inner-syntax markup; | file | diff | annotate |
| Tue, 01 Oct 2024 20:39:16 +0200 | wenzelm | drop somewhat pointless 'syntax_consts' declarations; | file | diff | annotate |