Mon, 09 Sep 2024 21:45:56 +0200 | wenzelm | tuned signature: more options; | changeset | files |
Mon, 09 Sep 2024 21:32:11 +0200 | wenzelm | clarified Pretty.markup_block: use value-oriented YXML.output_markup, with final re-interpretation via print_mode in output_tree; | changeset | files |