+ <ul xmlns:ld="http://lambdadelta.info/" id="v3">
+ <li>
+ <span class="emph gamma">Version 0.8.3 (2015-12).</span>
+ Supports exportation to λProlog
+ (two formats for ELPI,
+ and two formats for <a href="http://teyjus.cs.umn.edu/">Teyjus</a>).
+ Employs optimized conditional compilation through
+ <a href="http://camlp5.gforge.inria.fr/">camlp5</a> code preprocessor (pa_macro)
+ to reduce a performance loss, which is expected to disappear
+ by employing a different code preprocessor.
+ Overall validation speed of the "Grundlagen der Analysis" with respect to version 0.8.2:
+ +3% with optimized compilation, +5% without optimized compilation.
+ [Svn revision: 13108] (<a href="http://lambdadelta.info/download/helena_0.8.3.tar.gz">archived source code</a>).
+ <ul>
+ <li>
+ <span class="emph gamma">2015-06.</span>
+ The corrected specification of Landau's "Grundlagen der Analysis"
+ is successfully validated in a λProlog implementation of λδ version 3.
+ </li>
+ </ul>
+ </li>
+ </ul>
+ <ul xmlns:ld="http://lambdadelta.info/" id="v2">