wenzelm [Sun, 29 Sep 2024 21:20:36 +0200] rev 81009
less markup (amending 07ad0b407d38): const = "" is mainly for parentheses syntax -- avoid entity_markup here;
wenzelm [Sun, 29 Sep 2024 21:16:17 +0200] rev 81008
more markup reports: notably "notation=..." within pretty blocks;
wenzelm [Sun, 29 Sep 2024 21:13:17 +0200] rev 81007
more parse tree positions;
wenzelm [Sun, 29 Sep 2024 21:03:28 +0200] rev 81006
more operations;
wenzelm [Sun, 29 Sep 2024 20:11:28 +0200] rev 81005
clarified order for 'print_syntax' command;
wenzelm [Sun, 29 Sep 2024 19:51:23 +0200] rev 81004
more accurate parse tree: retain all tokens (and thus positions);
wenzelm [Sun, 29 Sep 2024 19:45:38 +0200] rev 81003
more thorough markup reports (amending 0c6a600c8939 and 7f9e8516ca05): descend into vacuous nodes;
wenzelm [Sun, 29 Sep 2024 15:58:28 +0200] rev 81002
clarified comparison: prefer authentic nonterminal context, instead of somewhat accidental "const";