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;
wenzelm [Sun, 29 Sep 2024 13:48:34 +0200] rev 80997
tuned;
wenzelm [Sun, 29 Sep 2024 12:09:49 +0200] rev 80996
more operations;
wenzelm [Sun, 29 Sep 2024 11:18:34 +0200] rev 80995
clarified output: count Tip entries;
wenzelm [Sun, 29 Sep 2024 11:08:43 +0200] rev 80994
tuned signature;