<ul>
<li><span style="font-weight: bold;">Access:</span> <a
href="static/lddl/">static pages</a> (updated <span
- style="font-weight: bold;">2010-11</span>), <a
+ style="font-weight: bold;">2011-09</span>), <a
href="download/lddl.tar.bz2">data set</a> (updated <span
- style="font-weight: bold;">2010-11</span>), <a
+ style="font-weight: bold;">2011-09</span>), <a
href="http://lambda-delta.info/xml">HELM server URL</a>
-(updated <span style="font-weight: bold;">2010-11</span>).</li>
+(updated <span style="font-weight: bold;">2011-09</span>).</li>
</ul>
<ul>
<li><span style="font-weight: bold;">Examples:</span> <a
- href="static/lddl/brg-si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">Grundlagen's
+ href="static/lddl/brg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">Grundlagen's
definition
"t234"</a> (in "basic_rg" λδ), <a
- href="static/lddl/crg-si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">Grundlagen's
+ href="static/lddl/crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.html">Grundlagen's
definition
"t234"</a> (in "complete_rg" λδ).<br>
</li>
testing the stable features of the calculus as well as the unstable
ones.<br>
The processor source code is available in the directory <a
- href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Flambda_delta%2F&rev=0&sc=0">/trunk/helm/software/lambda_delta/</a>
+ href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fhelena%2F&rev=0&sc=0">/trunk/helm/software/helena/</a>
of the <a href="http://helm.cs.unibo.it/software/index.html">HELM Svn
repository</a>. The Svn revisions containing the stable versions
of Helena are indicated below. <br>
<ul>
<li><span style="font-weight: bold;">2009-12.</span> Helena
appears in F. Wiedijk's <a
- href="http://www.cs.ru.nl/%7Efreek/digimath/index.html">index of
+ href="http://www.cs.ru.nl/%7Efreek/digimath/index.html#helena">index of
computer math systems</a>.</li>
</ul>
</li>
<a style="font-style: italic;"
href="download/lambda_delta.txt">lambda_delta.txt</a> (revised <span
- style="font-weight: bold;">2010-07</span>).</li>
+ style="font-weight: bold;">2011-09</span>).</li>
</ul>
<ul>
<li>A <a href="http://www.jedsoft.org/jed/">Jed mode</a> for