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";
wenzelm [Sun, 29 Sep 2024 15:24:17 +0200] rev 81001
more detailed parse tree: retain nonterminal context as well;
wenzelm [Sun, 29 Sep 2024 15:08:38 +0200] rev 81000
clarified persistent data;
wenzelm [Sun, 29 Sep 2024 15:00:20 +0200] rev 80999
clarified input and output: support markup blocks via Bg/En;
clarified datatype tree vs. tree_ops: reconstruct nested markup blocks via make_tree;
clarified tree_ops_ord: ignore markup blocks, proceed like dict_ord;
wenzelm [Sun, 29 Sep 2024 14:55:49 +0200] rev 80998
tuned;