-
- <subsection name="A2">Stage "A2": "Extending the Applicability Condition"</subsection>
-
- <news class="alpha" date="2016 September 15.">
- Confluence for context-sensitive parallel r-transition on terms.
- </news>
- <news class="alpha" date="2016 April 16.">
- Grammatical component reconstructed:
- grammar, relocation, s_transition, s_computation, static
+ <news class="gamma" date="2020-04-16.">
+ Sort hierarchy parameter removed from unbound rt-transition