<ul>
<li><span style="font-weight: bold;">Access:</span> <a
href="static/lddl/">static pages</a> (updated <span
<ul>
<li><span style="font-weight: bold;">Access:</span> <a
href="static/lddl/">static pages</a> (updated <span
testing the stable features of the calculus as well as the unstable
ones.<br>
The processor source code is available in the directory <a
testing the stable features of the calculus as well as the unstable
ones.<br>
The processor source code is available in the directory <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>
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>