<subsection name="A2">Stage "A2": "Extending the Applicability Condition"</subsection>
- <news class="alpha" date="2017 October 16.">
+ <news class="alpha" date="2017 October 17.">
Exclusion binder in local environments.
- Ported components: syntax, relocation, s_transition, s_computation, static.
+ Syntactic component updated:
+ syntax, relocation, s_transition, s_computation, static, i_static.
</news>
<news class="alpha" date="2017 April 16.">
Strong rt-normalization