<a href="http://lambdadelta.info/index.html#notice">notice</a>
</td>
<td class="snss capitalize magenta">
- <a href="http://lambdadelta.info/news.html#visibility">visibility</a>
+ <a href="http://lambdadelta.info/news.html#citations">citations</a>
</td>
<td class="snss capitalize orange">
<a href="http://lambdadelta.info/documentation.html#v1">version 1</a>
<td class="snnn top orange">April 2011</td>
<td class="snnn top orange">June 2014</td>
<td class="snnn top orange">Planned in October 2014</td>
- <td class="ssnn top orange">Not planned yet</td>
+ <td class="ssnn top orange">In progress</td>
</tr>
<tr>
<td class="snss top red">
<ul xmlns:ld="http://lambdadelta.info/" id="source2">
<li>
- <a href="http://lambdadelta.info/download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</a>
- (revised <span class="date">2014-10</span>).
- Source scripts.
+ <div class="text">
+ <a href="http://lambdadelta.info/download/lambdadelta_2.tar.gz">lambdadelta_2 for Matita 0.99.2</a>
+ (revised <span class="date">2014-10</span>).
+ Source scripts.
+ </div>
+ <div class="text">
+ <span class="date">Notice:</span> compile with the latest version of Matita from
+ <a href="http://matita.cs.unibo.it/download.shtml">HELM Subversion repository</a>
+ at path <trunk/matita/>.
+ </div>
</li>
</ul>
<div xmlns:ld="http://lambdadelta.info/" class="spacer">
<br />
</div>
- <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Thu, 09 Oct 2014 16:26:23 +0200</div>
+ <div xmlns:ld="http://lambdadelta.info/" class="spacer">Last update: Mon, 20 Oct 2014 16:17:00 +0200</div>
</body>
</html>