- <news class="alpha" date="2011 September 21.">
- Confluence for context-sensitive parallel reduction on terms.
+ <news class="alpha" date="2017-01-17.">
+ Confluence for parallel r-transition on referred entries of local environments.
+ </news>
+ <news class="alpha" date="2016-09-15.">
+ Confluence for context-sensitive parallel r-transition on terms.
+ </news>
+ <news class="alpha" date="2016-04-16.">
+ Syntactic component completed:
+ syntax, relocation, s_transition, s_computation, static
+ (anniversary milestone).