changeset 81106 | 849efff7de15 |
parent 81098 | 21faacc45c0c |
child 81108 | 92768949a923 |
--- a/NEWS Wed Oct 02 20:49:44 2024 +0200 +++ b/NEWS Wed Oct 02 22:08:52 2024 +0200 @@ -9,6 +9,10 @@ *** General *** +* Command "open_bundle b" is like "bundle b" followed by "unbundle b", +so its declarations are applied immediately, but also named for later +re-use. + * Inner syntax translations now support formal dependencies via commands 'syntax_types' or 'syntax_consts'. This is essentially an abstract specification of the effect of 'translations' (or translation functions