Tony Garnock-Jones
5923bdd3ce
This change makes `during` work "atomically" across a communications delay, by ensuring that a retracted assertion matching the `during`'s pattern triggers the "stop on" clause in the expansion of the `during`. Some discussion of the change exists in the Journal and in my notebook. |
||
---|---|---|
syndicate |