| changeset 72451 | e51f1733618d |
| parent 72450 | 24bd1316eaae |
| child 72457 | 2c7f0ef8323a |
--- a/NEWS Mon Oct 12 07:25:38 2020 +0000 +++ b/NEWS Mon Oct 12 07:25:38 2020 +0000 @@ -61,6 +61,10 @@ * Local_Theory.end_nested replaces Local_Theory.close_target. + * Combination of Local_Theory.begin_nested and + Local_Theory.end_nested(_result) replaces + Local_Theory.subtarget(_result). + INCOMPATIBILITY.