The specification of λδ-2A is concluded.
</news>
- <news class="gamma" date="June 2015.">
+ <news class="alpha" date="June 2015.">
The corrected specification of Landau's "Grundlagen der Analysis"
is validated in a λProlog implementation of λδ-3.
</news>