| Sun, 27 Oct 2024 11:22:34 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 27 Oct 2024 11:13:42 +0100 | wenzelm | clarified symbolic output: avoid redundant "block" element for open_block = true; | changeset | files |
| Sun, 27 Oct 2024 11:02:21 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 26 Oct 2024 20:18:51 +0200 | wenzelm | clarified (again): Markup.intensify is already part of Variable.markup_fixed for undeclared variable, Markup.fixed is already part of Mariable.markup; | changeset | files |
| Sat, 26 Oct 2024 16:07:31 +0200 | wenzelm | more accurate Symbol.length; | changeset | files |
| Sat, 26 Oct 2024 16:07:03 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 25 Oct 2024 22:22:21 +0200 | wenzelm | merged | changeset | files |