<subsection name="A2">Stage "A2": "Extending the Applicability Condition"</subsection>
+ <news class="alpha" date="2017 October 16.">
+ Exclusion binder in local environments.
+ Ported components: syntax, relocation, s_transition, s_computation, static.
+ </news>
+ <news class="alpha" date="2017 April 16.">
+ Strong rt-normalization
+ for simply typed terms
+ (anniversary milestone).
+ </news>
<news class="alpha" date="2017 March 16.">
First behavioral component reconstructed:
rt_transition.
(anniversary milestone).
</news>
<news class="alpha" date="2014 January 20.">
- Parametrized slicing of local environments
+ Parametrized slicing on local environments
comprises both versions of this operation
(one from basic_1, the other used in basic_2 till now).
</news>