| Fri, 13 Dec 2024 23:23:07 +0100 | wenzelm | minor performance tuning: avoid excessive Library.insert and Symbol.explode operations; | file | diff | annotate |
| Fri, 29 Nov 2024 17:40:15 +0100 | wenzelm | clarified signature: shorten common cases; | file | diff | annotate |
| Tue, 22 Oct 2024 12:03:46 +0200 | wenzelm | clarified markers for syntax consts: avoid overlap with logical consts; | file | diff | annotate |