Tue, 07 Jan 2025 22:07:46 +0100 | wenzelm | discontinue old / inaccurate show_brackets (see also a4f09493d929 and ca9f5dbab880); | changeset | files |
Tue, 07 Jan 2025 21:39:38 +0100 | wenzelm | more markup, notaly for LaTeX output: treat record fields as quasi-consts; | changeset | files |